No matches were found for subject:"\[tex4ht\] Double headings in table of contents"