So ...
We are going to use a handy plugin called Simple Comment Editing.
Here it is:
https://wordpress.org/plugins/simple-comment-editing/
It's a small plugin (80 KB), but let's see the usual speed tests ...
Here are my results before installing the plugin ...
... and the result after installing and activating the plugin:
No more comments needed ...
So, let's see how it works ...