On 02/17/2016 08:29 PM, Josh Dersch wrote:
  I'm willing to bet that this torrent is 100% stuff
scraped from
 Bitsavers and 
Archive.org (where the two don't already overlap, not
 to open up that can-o-worms again.)  So good news:  it's already
 available online. 
My thought exactly.
--Chuck