Thanks. I've added an EDIT to clarify that I am not speculating about whether the OP read the article, and that the only point of my comment is to set the record straight for those who often just come to HN for the comments (like myself).
Just take it out. You don't know who has and hasn't read the article, how much they are 'gloating' and it's one of the oldest known bad tropes of internet forums which is why it's in the guidelines. Your comment only gets better without it.
