Mastodon would be far more popular if it wasn’t called Mastodon.