Fix docs/conf.py.