Should Gemini clients alert users upon redirect?

[Leo]

> Whilst Gemini clearly has some differences from the web 
> in this regard, for me this is an area of functionality where we should 
> do by and large the same as the web.

Using the web does not mean redirections happen seamlessly, or happen at
all. Users can have their browsers alert for redirects, or simply not
follow redirects. The HTTP spec seems to support this use case as well.

> If a Location header field is provided, the user agent MAY
> automatically redirect its request to the URI referenced by the
> Location field value

and also at

> The server SHOULD generate a Location header field in the response
> containing a URI reference for the different URI.  The user agent MAY
> use the Location field value for automatic redirection.

So common web browsers, like common gemini browsers, might redirect
seamlessly, but "User Agents" (instead of popular software that are
agents of someone else) still reserve the right to ask the user
what to do at any point.