Yeah, pun intended. 🙃

Although, I had literally just learned what manganese is before posting the comment above, and it sounded like the name of a language to me, so that’s how that pun came to be.