@TomMalbran no worries. I should have noticed the impending inconsistency when I made the change to `PreferencesManager.set`