doc: revisions to config.py (3)