Thought experiment: how hard would it be to implement ActivityPub over ATProto? The answer might surprise you!