Bravo Marcel!!  After years of no credible Undo / Redo, now we finally have it.

Command+Shift+Z is the right choice for redo -- because "modifier
keys" (like Shift) are good choices to "modify" behaviors of the same
key with no modifier is pressed..   Undo / Redo are a pair...