It’s more common than I was aware for software mascots to have distinct names from their respective products.
I kind of like “Ian”. Seems suitably humble for a diminutive little rodent.
Another option might be from the band’s own mascot, Snaggletooth.
Or Bluefin, depending on desktop preference. I’ve been using both and can recommend either.