Enabling `app.config['GEVENT']` in `webed.wsgi` had *no* effect in `sphinx.py`; therefore the `GEVENT` configuration needs to be set in `production.py`!