How do we talk about the Lemmy Doodle? Is it a mascot? Is it a lemming or a rat or a lemur? Does it have a name?

Lemmy's search widget isn't working for me. Google produced these questions, but asked a year ago. No consensus was reached then.