@Mastodon "Twitter, one of the world’s leading social media platforms" seemed untinged with irony.