Fix Sphinx version and update docs

Thom Wiggersrequested to merge
updated_docs into master

Short description

Fix the sphinx version, so the build doesn't mysteriously break like in !710 (merged).

Merge request reports