I think there's a trivial wget script that would download each page and pdf-ify it, but I figured I could be lazy and let someone else write it and just reap th

I think there's a trivial wget script that would download each page and pdf-ify it, but I figured I could be lazy and let someone else write it and just reap the rewards without the work.