PS: the text editor has some quirks in Safari 7 where the caret is a few characters off sometimes (so when you type the characters appear in the wrong place). Might want to switch to a default <textarea> for Safari 7 for now...