Downloading there is straightforward: look at network requests, redownload svg's of individual pages with wget and reassemble those into a pdf. I did that today and the resulting quality wasn't exactly low - though I didn't examine it too closely. Readability was perfect.

Probably could be automated, but I'm not bothered enough to do so yet.