Another detail. There was lawyerly concern about the code being stolen, and we (127) were asked to find ways to test, absent their source, whether they had just stolen our source and built the binaries. It was soon concluded that there were enough details different to definitively say that at least most of the work was done in a clean room, as advertised, but the piece I liked best is that their PPT(1) program (ASCII art showing a paper tape rendering the argument text) did not include the original, and just discovered, bug that mispunched, if I remember right, the letter 'R'.
-rob