I don't think the comment is nonproductive. The majority of "women in tech" issues like this post is referring to, are belittled/misunderstood due to the differences in individual experiences. It's a fair comment to point out at this sometimes works in the reverse as well (i.e. sometimes there are more woman and/or fewer problems).
I've been lurking here since it started. It's not patronizing - it's pointing out a basic statistical fact. Has the bar on HN truly fallen so low that pointing out that anecdote != data is now considered rude?