Add genindex to the sidebar for the main pages

3 jobs for !153 with indexed in 1 minute and 44 seconds (queued for 1 second)
latest merge request