an html table of contents appears at the top of the exported file.