Interesting. I hope this ends up being a pull request or somesuch on activitypub, rather than a standalone competing standard. They're right that migration is a problem on activitypub atm, though I'm not sure there's a good way to build it into the protocol. Maybe have a server tag a couple of others as trusted backups?