How can I let ordinary users edit their comment?

Google is your friend – try “wordpress edit comments plugin”

For example, you can use Ajax Edit Comments plugin that allows users to edit their own comments for a limited time.

Thanks, that helped ??

Great. Please, mark the topic as resolved then.

I didn’t know, sorry. ?? Done, I think.