Then just ignore the comment! We don’t need any more HN comment policing.

And academics don’t have a monopoly on making criticism.