ActivityPub陣営でもMitraとかはアカウントの可搬性（サーバーに依存しない一意性） を謳ってるんよな。アレはどういう仕組みなのか。