But their Web server rejected, "closed", all the CURL connections. I tried some really simple software I had based just on sockets, and those connections were closed also. My Web browser connects and downloads the file one at a time just fine.
So, maybe I need a newer version of CURL that looks more like a Web browser?
Or just use Firefox, manually, one PDF at a time. Bummer.