wml_aux_htmlinfo(1) on Linux

The text 9338783a3ac4, as Debian 2.2 (Potato) shipped it.

wml_aux_htmlinfo(1) on Linux now