[andybak]

Fair point. I spend too much time at Reddit and sometimes forget which tone is appropriate.

and I'd hate to contribute to making HN another Reddit...