I think ideally we should have fixed the mixing of defaults with user before any instances of `Settings` or `Setting` are created.