make conf.py correct

3 jobs for 127-port-sphinx-run-over-to-cxx-marqov in 7 minutes and 26 seconds (queued for 1 second)