Perhaps you could make a much less condescending comment. Reddit is a nice place to be condescending, but HN is nice because people are generally kind.