update pr-downloader: allow rapid downloads from ports != 80