deprecated-config.py # disabled by default, to be enabled by the release manager, after branching