Option to undo overwriting already typed in text (e.g. by inserting from clipboard) as I did it some minutes ago... Arghhhh!