I think it would be better if they add an edit to the beginning of the comment. The transparency of your reply and admission of a mistake is actually a very good signal to many of us. I trust people who own their mistakes.

This just shows how important first impression is, and how difficult it is to rebuild trust after that. Asking people to delete their comments/reviews is not a good approach.

You can't expect everyone to have perfect judgement on the first go. They admitted a mistake openly, and they're simply asking for that to be reflected in a top comment. Otherwise what's the point of admitting a mistake if few people notice it's been amended?

I’m not saying not to admit a mistake. I’m saying that such a trivial mistake should not have happened in the first place. Who’d have known that people might have several Macs and would want to use a code editor on several of them?