By the way, a full mirror of the former Bell Labs CSRC server is available here: https://9p.io/ Of course, it includes Dennis Ritchie's pages: https://9p.io/who/dmr -- David du Colombier