wml_p8_htmlstrip(3) on Linux

The text 8d2f43023cb6, as Debian 4.0 (Etch) shipped it.

wml_p8_htmlstrip(3) on Linux now