Proposal to drop double slashes from URL syntax

[PJ vM]

On 2/9/21 8:57 PM, Daniel Nagy wrote:

> Also, to my understanding removing them does not violate the standard. For
> example, `tel:+1-816-555-1212` and `magnet:?xt=urn:sha1:...` are valid
> URIs.
They are valid URIs, because these schemes do not use the "authority"
component of the URI syntax. The authority is for the hostname, port,
and userinfo. The double slash is grouped with the authority component
and is required by the URI standard to be present when the authority
component is used and to be absent when it is not used. Gemini URIs
always need to specify the hostname, so there is always an authority
component, and to be standard-compliant the double slash cannot be left out.

-- 
pjvm