What would :443/thing.jpg mean? Is that a port or hostname?
http:username:password@example.com/thing.jpg http:username:password@example.com:8080@example.com/thing.jpg
But they might have picked a different delimiter for that in this alternative future. Or perhaps realized it was a bad idea earlier.
IPv6 addresses are a different story. We definitely would have chosen a different character to delimit IPv6 addresses in this future.
https://serverfault.com/questions/638260/is-it-valid-for-a-h...