I have no idea what's going on with Gemini naming. Maybe it's an inside joke or something.