It is up to the team to decide. It is a wrong practice to fiddle with this setting, so by changing the name we ignore old and most likely fishy configuration. We can add a warning though. I am fine with the original name as well, but maybe a clean cut is preferable. Any feedback is appreciated