Honestly the fact that this is impossible is really demotivating me from building an ActivityPub implementation. I could build an implementation but nobody (not even myself) could migrate to it and only new instances/domains would be able to use it. And those new instances running my implementation would be similarly stuck using my implementation, so if I ever decided to not maintain it any more, they’d be lost (or would have to take it up themselves).