opf: emit a content toc-entry for html documents with property=nav