The most technical of people seem to have remained using Mastodon, but others seem to have migrated back to Twitter.