Thanks for putting this together. Here is a way to grab them all with gnu tooling
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