[TUHS] How did Dennis Ritchie typeset his PhD Thesis? A Typographical mystery