Ah, the old "quoth PG" routine. You know, Paul is capable of saying things which are not entirely correct, and quoting his words does not immediately make you in the right.
What Paul misses, in this case, is that there's a difference between "laughing up" and "laughing down" – that is, laughing at an injust situation by mocking the people who benefit from such a situation, the people in power, and laughing at the people hurt by a situation. Laughter is a potent weapon against dogma, sure, but the feminist cause is far from dogmatic. It's a response to the incredibly pervasive anti-woman bias in the programming world, the workplace in general, and society at large.
It is truly unfortunate that Adria triggered such a shitshow, because I do think she overreacted, in a big and kind of cruddy way. But the unfortunate part is less that than the fact that plenty of people will use her as a symbol of how stupid feminism is, how humorless its advocates are, and how right men are to dismiss it as a cause completely. It's a damn shame. There needs to be a discussion about how messed-up our view of women is, and this is the sort of place to be having it. But because the first shot was fired by an overzealous woman, the conversation we should be having isn't being held at all, and instead we're reaching a group consensus that women who think things like this are an issue are full of themselves. Which is almost exactly the wrong consensus to reach here.