Huh. I didn’t know that. To be honest, I didn’t know that there was a Koopa named Lemmy until I looked at their github either. I’ve never played Mario.

Per Lemmy’s GitHub

Why’s it called Lemmy?

• Lead singer from Motörhead.
• The old school video game.
• The Koopa from Super Mario.
• The furry rodents.