This is really, really good, thank you. My only concern is that one ends up with something like TeX, written in a long-obsolete dialect of Pascal, requiring a

This is really, really good, thank you. My only concern is that one ends up with something like TeX, written in a long-obsolete dialect of Pascal, requiring a translation layer to convert the source into a more relevant language (C).