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.