docs/conf.py edit