The text e10ad9cc47ed, as Debian 9 (Stretch) shipped it.
converts LaTeX encoding to UTF-8
latex2utf8(1p) on Linux now
