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