Include a table of contents in the HTML output.