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