And perhaps even generalize this to all non-HTTP(S) URLs. This came up in https://www.downtownmelody.com/_x/Z2l0aHViLmNvbQ/whatwg/html/pull/10818 but was reasonably asked to be handled separately as the compatibility impact is unclear and that should not stop an otherwise good clarification.