Delete file + git add didn't git rm file
issue #430 better handling of unicode escape in undo code
issue #430 better handling of unicode escape in undo code