They were thinking of Google Gemini, not Gemini (protocol), the latter which, although being the older, might have to consider a name change to escape a slow death after Google's hostile name-takeover.