`PreferencesManager.set` saves automatically. `PreferencesBase.PreferencesSystem.set` does not, nor does the `PrefixedPreferencesSystem`. They probably should, but that would be a change over the current behavior.

With this change, I'm just restoring that line of code to what it was before 908868a. This change seemed unrelated to the main change of that commit.