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.

Gemini being part of the web is pretty baked-in. You can link to http:// pages from gemini, and gemini:// pages from HTTP. And all these links participate in the hyperlinked "Web".

It even supports mime types, you can serve text/gemini from an HTTP server, or a text/html file from a Gemini server.

That's true and many Gemini clients supports multiple protocols. But in case of this "gmi100" only gemini:// protocol is supported.

> Web refers to Gopher here, it being a command-line client for the Gopher web.

Gemini, not Gopher.

Oops, edited! Thanks.