Yes thats a good point, protocol-relative links are useful, but IMHO they don't necessarily depend on the "//". If URLs would look like "http:google.com/bla", a different syntax would have been invented instead, e.g. ":google.com/bla".