wml_aux_htmlinfo(1) on Linux

The text b15abebbdc4f, as Debian 2.0 (Hamm) shipped it.

wml_aux_htmlinfo(1) on Linux now