Gboard's 'undo' gesture is a compromise I'm willing to live with

Because I know how to use it ...