I don't think anyone in this comment chain is saying "we don't want women building stuff". Rather, some commenters are uncomfortable with the assumption that moving from 15 males to 11 males + 5 females is necessarily an improvement.

Maybe 5 of the original 15 males were gay. Does that change your perspective? I find this whole way of thinking unsettling. Doesn't it simply depend on who these people are as individuals?

I'd also be careful with the argument you've (implicitly) made. It doesn't seem to follow that the distribution of gender of programmers should match the distribution of gender of users. Besides, there must be software projects where 95%+ of users are male or female.

In general, I think most of us here agree that gender discrimination is bad, people being discouraged from making career choices due to gender is bad, and sexual harassment is bad. We may disagree on the frequency with which these things occur or how to fix them, but I think we're a lot closer than it appears from these contentious comments.