Okey, so, #mastodon and #activitypub knowers: is there an established procedure for changing your server's domain?
I understand this case is (unfortunately) not covered by the protocol, and thus is not doable optimally. I don't care about that, I just want to know the closest to optimal method.
Is there some way to set up another instance on the new domain and migrate all the data over? Make some kinda redirect before ultimately abandoning the old domain some years down the road?