Indeed, but I’m a bit surprised there isn’t any list of alternatives servers.
I would have to look more into the protocol specification, but it seems like this isn’t really federation, alternative servers are still relying on the central server, and that’s why nobody bothers with setting one up