A JavaScript based autosaving text editor