CLEANUP: Avoid some warnings from PlDoc for processing the HTML manual.