I didn't bid on this (was preparing to snipe), but finally talked to the other bidder and was sure the documentation would be preserved on bitsavers. -- Copies of those documents have been scanned, and are in the queue to be pdf'ed I probably should put up a list of what has been done to see if people would volunteer to postprocess the scans. On a good day, I can finish about 1000 pages while on average I have been scanning about 4x that per day. I just checked the /scan directory and it's around 80gb, with only about 25gb postprocessed.