Comment by maweki

> This [...] has already led to some women [...] getting harassed when they said they were working on Coq.

What's wrong with people?