A pluggable batch downloader