Batch downloading is simple, but peeking into PDF and looking for some data is not, you will need to download a file anyway. You can use my fully-fledged HTTP downloaded oriented to batch mode, well tested:
how to download a file from internet[
^].
It support partially downloaded files (of any type), so you can continue downloading if there was a disruption.
I did it for myself and batch downloading was my main priority.
A single-file batch command will look like this:
HttpDownloader URL [LocalFileName]
—SA