Knuth does indeed use emacs. There are some elisp modules on his site somewhere....

		globular-toast on April 16, 2020 \| parent \| context \| favorite \| on: For Donald Knuth, good coding is synonymous with b... Knuth does indeed use emacs. There are some elisp modules on his site somewhere. He has also said that he uses other OSes, but only trusts GNU/Linux with the "crown jewels".