So, as far as I can tell the account migration from mastodon.online has gone smoothly.