... which of course won't happen because the port can only be digits, and changing the URL spec would affect the whole world