That sounds plausible! It seems unlikely to matter which browser you were using to make changes (I was using FF), but when they take effect may depend on the user's browser/settings, possibly?
FF has been falling down, imo. Lastest update improved things but it still has probs, I think.