9.3 Released: Undo & redoMay 11, 2020February 14, 2021 Accidentally removed text while editing? Press the “undo” button to restore it.