Remember when a bunch of new users showed up on Mastodon from Tumblr, registered dozens of usernames they might want to switch to, and then got furious when they realized you couldn't change your username on Mastodon?