#685881 apt-mirror: URLs containing a port number are handled erroneously