Just like how we can undo a stroke through the Apple Pencil pro palette, can we get both the undo and redo? I tend to accidentally undo too many strokes and it would be nice to have the redo function right there rather than reaching up to the toolbar. I know it’s not a critical feature but would be nice for efficiency! Thank you!