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