Based on the timing of the comments they would not have been able to edit their comment at the time yours was posted, nor even at the time they posted the one you replied to (edit: nor even at the time they were corrected). There is a 2-hour window for editing comments.
It's also really obnoxious to demand that strangers do things to fit your sensibilities. I get the feeling they didn't want to say anything about it because they would have used less friendly words than "obnoxious", which is already not particularly friendly.
Based on the timing of the comments they would not have been able to edit their comment at the time yours was posted, nor even at the time they posted the one you replied to (edit: nor even at the time they were corrected). There is a 2-hour window for editing comments.
It's also really obnoxious to demand that strangers do things to fit your sensibilities. I get the feeling they didn't want to say anything about it because they would have used less friendly words than "obnoxious", which is already not particularly friendly.