doc: revisions to config.py (1)