Nice. The `doNotSave` flag is a good idea (vs. the setValue/setValueAndSave pair for the preferencesManager).