A table of contents has been generated for the HTML edition.