I will direct you to the Lemmy project documentation, where the rodent species is explained in a Why's it called Lemmy? section (the last bullet point). It is indeed a lemming, as mentioned here already. However, I do not think I have ever seen a specific name for a mascot mentioned. That would be an interesting idea, though. Good luck.