Sorry--maybe there is some misunderstanding.
My comment was meant just for the quoted paragraph, which read 'almost' as a warning against <pre></pre> and <code></code>--or a hint towards some heavy manual editing.
For my part, the only issues I have ever encountered came from the lack of {withespace: pre-wrap}--no more editing seems necessary.
As I am just making manuals from some downloaded html pages, I would appreciate to known in advance if I happen to be wrong...