Yeah, I get that, hence my hesitation. If you check, I've never done it before. It's just that if I were writing in a foreign language, I'd want it. Even when writing in English, if I make a stupid mistake I'd want a correction. It would be nice to have a way of pointing out the mistake, allowing the person to correct it, and then it all gets tidied.
I "time bomb" corrections. Regardless of whether the person fixes it or not, I delete my comment within an hour or so, giving them the option, and yet removing the noise.
And I suggest we do that with this exchange as well.
Added in edit: Correction made, and I'm deleting my comments. I'll delete this one shortly too. Thanks for your reply - I'll keep it in mind."