Reset settings to defaults
There should be a way to reset any settings to defaults.
In practice, this could be done by utilizing
SettingsRegister as appropriate in suitable domains. (Using alternative profiles is optional.)