This is unfortunate, but since we want a different default and since
for some reason the old setting ended up being written for all the users
(maybe due to to setting binding stuff?) we need to change the setting
name or all user upgrading will not see the new default.