It feels very odd to have a conference dedicated to federated social media highlight ATProto, a protocol which turns out to be anything *but* federated in actual practice.