“a sizeable portion of Twitter’s users are choosing to deplatform themselves en masse, and many have been directed to Mastodon”