How did Dennis Ritchie produce his PhD thesis? A typographical mystery (2022) [pdf]