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.
I think they want real users because they want to sell their data for LLM training, but that might mean purging accounts that are “too political” to be of use.