OP used the wrong "lose" in two separate comments in the same discussion. That's why no, I don't think the 13 years was enough time. But there's no shame in that, nobody knows everything.
I'm not aware of how long anyone has been on HN, bar a very small number of users. Who can be bothered to check histories for everyone you comment to?
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?