Better backspace

Before this PR, backspace is undo so typing backspace with "à" gives "a". Now a backspace is a backspace.