docs/conf.py: minor changes