@mconnor @rigo @Gargron totally. Linux is a clear exception here, because "Debian" definitely isn't "Linux" but also it is.
I think Mastodon is going to be more like that, so my original (now deleted) point is (imho) pretty important. Either we're going to end up with "Mastodon" as a generic term that refers to the network of federated social software, or we need to intentionally stop using "Mastodon" in that way and replace it with a generic term (e.g. fediverse).