Hi, the HTML docset contains unordered list (bullet list) structures of the form: <pre> <ul> <li> foo... <li> bar... </ul> </pre> where the <pre></pre> tags are bogus and need removing. Ay.