This adds table of contents links to the single-page User Guide.

And mini table of contents at the top of each chapter, for the single
and multi-page documents.