Wow-- I'd forgotten that Levy called Margaret out by name in the book. I also got the machine wrong-- it was the PDP-1, not the TX-0.