OpenDocument:  Skip raw HTML.

Previously it was erroneously included as verbatim text.

Closes #1035.