What % of HN users with karma >1000 are women? Did @paulg just make it so a woman *can't comment* on hacker news unless a man approves it?