On the use of %20 instead of + in URIs

[Adnan Maolood]

Section 1.2 of the Gemini specification says:

> Spaces in gemini URIs should be encoded as %20, not +.

I noticed that some servers do not properly handle +, treating it as a
literal plus sign. Since this is a recommendation and not a must,
shouldn't servers treat plus signs as spaces? Not allowing spaces makes
it slightly more difficult to use URL parsing libraries which use plus
signs.

If servers should not treat plus signs as spaces, then I think that this
portion of the specification should be changed to say:

> Spaces in gemini URIs MUST be encoded as %20, not +.

Otherwise, I think an additional clarification is in order:

> Spaces in gemini URIs should be encoded as %20, not +.
> However, software should still treat + as a space.