I had missed that mastodon.cloud is shutting down. While its active user base has been shrinking, it still has a lot of total users and millions of posts. There’s still no way to migrate posts between Mastodon servers. (Mastodon posts → Micro.blog and some other fediverse servers works.)