このまま Bluesky Social が来なければ、MastodonというかActivityPubでいいやん…ということになりそう。でも、そもそもActivityPubがあるなかで、ATプロトコルやADXなるものは一体何を作ろうとしているのか。