Comment by hollerith

I've only ever heard it called "Gemini", not "Gemini web".

"Gemini web" is a bad name because Gemini's not being part of the web was the main motive in Gemini's creation.

"Geminisphere" or "Geminiverse" would be fine with me as a name for the totality of Gemini servers considered collectively.