update pr-downloader: allow urls with port for rapid, too