Merge pull request #9092 from nicoddemus/cleanup-projects-page

Author: nicoddemus

doc/en/contents.rst

@@ -98,7 +98,6 @@ Further topics
    history
    historical-notes
    talks
-   projects
 
 
 .. only:: html