wml_aux_txt2html(1) on Linux

The text 682f4820067b, as Debian 2.2 (Potato) shipped it.

wml_aux_txt2html(1) on Linux now