Le mar. 8 sept. 2020 à 18:23, Eli Zaretskii <eliz@gnu.org> a écrit :

I have my own experience: I use undo about 10 times more frequently
than redo.

That more or less matches my own experience. And I consider "redo" invaluable

for those occurrences.