doc: revisions to config.py