Thanks, this seems a lot more reasonable than the 168GB torrent available from IA, which I was halfway through downloading. It also contains every conceivable format possible, whereas your link is just PDFs equating just 12.5GB (easily downloadable with Free Download Manager + Firefox plugin -> right-click -> Download All :)

yeah, last I looked (a couple of years ago) this was a better and more complete collection than what archive.org had (and is what enabled me to get rid of most of my paper collection, though I kept some particular highlights)