The text dd052b571e4b, as Debian 4.0 (Etch) shipped it.
html to latex converter
gnuhtml2latex(1) on Linux now
