Looks like data/account portability is in the works: https://swicg.github.io/activitypub-data-portability/lola

But at ATProto/Bluesky, account portability was a consideration from the start.