wml_aux_htmlinfo(1) on Linux

The text bbbcb26fea3c, as Debian 2.1 (Slink) shipped it.

wml_aux_htmlinfo(1) on Linux now