Renaming a configuration option.