You should assume that a 13 year HN veteran likely knows the difference, is human, and had a mild bout of misfiring fingers.
Small beer in the greater scheme ... and unable to be edited / corrected by the user in question some 12 hours after the comment.
If you're realy that upsit, cun I seggust you emraile HN @ Ycombingnater and ask for a m0d to intravein?