minor advantage of ConfigKeys deprecation warnings is that they suppress the warning in the conversion case where a user has both the old key and the new key