Here's a pastebin [0] with all the PDF urls concatenated if you want to download them all.
curl https://pastebin.com/raw/H3KsMHW6 | sed s/\;/\\n/g | xargs wget --trust-server-names
or if you have parallel installed simply use
curl https://pastebin.com/raw/H3KsMHW6 | sed s/\;/\\n/g | parallel wget --trust-server-names
[Edit]
In total everything comes in around 3.4GiB. I found this in /r/homelabs and they've got all the files up on their US and EU FTP servers. Details here:
However, I'm more of a Bash guy so please take my words/links with a grain of salt.
[0] https://www.reddit.com/r/homelab/comments/6mtqdq/a_tonne_of_...
[1] https://www.reddit.com/r/homelab/comments/6mtqdq/a_tonne_of_...