I'm pretty sure he's the GANDI IDE mascot, but I can't find his name anywhere. Does anyone know what it is?
