https://itipstricks.com/how-to-undo-redo-on-mac/