#721: config.py, adjust main docblock