To add to the mess, the WHATWG now maintains a "URL" spec that covers URIs and declares URIs an outdated term for URLs: https://url.spec.whatwg.org/
So now we have a URL spec from WHATWG that says URI is an old term for URLs, and a URI spec from the IETF that says that URL is just a term for a certain subset of URIs.