This is just one of those occasions where name collisions happen through nobodies fault.
Would it be appropriate to request we stop referring to a mastodon (software) instance as anything other than an ActivityPub/OStatus instance? A more terse name would be ideal but naming is hard and I've not had enough coffee to be creative yet today.
No. Branding and specialization is important. I mean, you can stop talking about its killer app if you want ActivityPub to die.
But I don't randomly post it to HN, and it looks like the author of this post is the admin too.
> A metalhead is a member of the heavy metal subculture.
Mastodon is like E-Mail: You chose who hosts your profile. YOu can send messages to people on other servers, but still the server which hosts your account, is your "home server": If it goes down, your account/profile is lost.
Also choosing your Mastodon server is about your personal interests: Mastodon servers have local timelines, which only show posts by users on the same server. These timelines often are topic related. E.g. on metalhead.club you will find more metal music content compared to e.g. mastodon.social.
Mastodon servers / instances group users by interest and still let all Mastodon users communicate with each other.
Btw: I don't consider the terms of use "leftist". They are quite neutral and generally "human friendly". Metalhead.club is not political, but the Terms of use try to prevent hate speech.
The Mastodon culture is also fairly opposed to large instances. Mastodon.social (the "flagship") is widely criticised for allowing itself to grow much larger than other instances. The community prefers small, homely intantances, median size is probably about 500 users, like this one. This may seem weird to outsiders, but instances like this one are one of the main draws of Mastodon.
There _might_ be filters. Mastodon server admins can filter posts from certain foreign servers. For example the metalhead.club administrator chose to filter some instances which spam a lot or post extremist text and /or child pornography.
Often these filters are necessary for legal reasons, e.g. some jananese servers allow sketches of naked children ("loli"), which are considered child pornography in Germany and are therefore illegal in the server's home country.