I respect your trying to bring attention to incivility on HN, but in what way is the user anonymous? Their account seems old enough and has plenty karma to make me respect their opinion.

Also, in my case, the GP expressed the same opinion that I had after seeing those comments on the OP.