@peterdrake I saw that. It wasn't clear to me in what way Mastodon requires a central server that IRC doesn't. They both need servers - neither is a peer-to-peer protocol - but both work with a federation of coequal servers AIUI.