v1.3.0

Dictionary deletions now stick. Deleting a word from the Harper Dictionary note (or the external file) removes it everywhere - it no longer reappears after sync. The sync is a proper three-way merge: additions and deletions both travel between the note, the external file, and all your devices; if the same word is added on one side and deleted on another, the addition wins. File writes are now atomic and preserve your file's line order; duplicate lines are cleaned up; add-to-dictionary no longer appends a word the file already has. Also fixes stale docs (mobile support has been in since v1.1.1).