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 :)