Saving setting in local storage broken.

[#general > live lean save editor settings not working on Firefox](https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/live.20lean.20save.20editor.20settings.20not.20working.20on.20Firefox/with/540575042)

Seems to affect all browsers.