9.3 Released: Undo & redo

Accidentally removed text while editing? Press the “undo” button to restore it.