encTeX is a TeX extension allowing flexible input/output reencoding,
created by Petr Olšák. Among other things, it allows UTF-8 processing.
It is TeX-compatible in the sense it passes the TRIP test, with
following changes:
* the banner is different
* is has seven more control sequences