Trap, reading the title that was not what I was expecting. But my guess is that it was intended.

Not intentionally. Mastodon is also a name of a Twitter-like social network. So the title here makes perfect sense for people like myself who hadn't heard of the band with the same name.

This is just one of those occasions where name collisions happen through nobodies fault.

Metal has quite a few name collisions, but perhaps the most unfortunate is https://en.m.wikipedia.org/wiki/Isis_(band)

That’s an unfortunate name collision everywhere.

I know three women, all over 30, who chose the name Isis, and a kid who was given it and goes by Tara now.

It was also meant to be the name of a major ElementaryOS release IIRC.

The River Thames through Oxford is locally known as the Isis, so there are dozens of businesses called things like the 'Isis Guest House'. Many of them have rebranded.

Isis is also the name of an ancient Egyptian goddess.

I imagine it's a recurring problem. There were probably some people named Hitler in the 40's that faced the same problem. I imagine Adolf too, to a much lesser degree.

Same Oddly was listening to big short soundtrack late last night.