It is not pedantic, as "Mastodon" is massively misnomered, and used where either the Fediverse or its open standard protocol ActivityPub is actually referred to. And as that happens more and more people get confused about this, so it prolongs if not pointed out at any opportunity.