[hprotagonist]

If nothing else, the freenode/libera hard fork showed that IRC is not only a federated protocol, it’s one that is relatively easy to pick up and move!