What’s better: invert mouse, or undo?