I tried `settings.set`, but that followed by `settings.get` did not give the same value... o_O So, probably something else needs fixing there. I suppose I'll leave this as-is for now.