@bonhi Clearing the cache did not help.
However, I figured out a work-around: if I saved some other weird setting (like dark theme or something) the one I wanted to save got saved. Then I went back and undid the other setting and saved and all was good.