2 ms·

Yeah, I asked him; the answer was emacs (and a lot of macros). He automated the translation (from pre-processed code) and then hand-crafted the rest.