Undo can reverse per-letter deletion. Redo is great for undoing accidental Undo.