Despite weeks of talk about migrating to Mastodon, here they were, still arguing with the new owner of Twitter on Twitter. Mastodon now has a million users; Twitter still has 250 million.