42dbe80914
* commit 'af001f9410bf0a45282b2f0ab7c4c3bf77645697': Added an "In This Document" nav list at top-right of page, and deleted corresponding text from body.