> you're acting like you understand what they're talking about when they say the word harassment [...] Acting like you understand this whole situation
No, I'm genuinely asking about what they are talking about. I'm literally asking clarifying questions here in order to find out more. I'm not stating how anything is, but merely wonder and want to learn more.
I do experience harassment as well, but not in the form of hearing "Oh, you use Coq so you must be a cock" every day, which is why I ask how the project name can be used as harassment.
How is any woman supposed to specialize in this language without hearing jokes like "oh she's an expert in cock".. The fact that you're trying to assert your point of view over the people who are actually involved in the situation, and chose to use the word harassment, makes me feel like you don't understand these issues as well as you think you do.
> The fact that you're trying to assert your point of view over the people
What? I'm sorry but we're talking way past each other and seem to be having two different conversations here. I'm inquiring about the usage of "harassment" from the authors of the proposed change, and you take it as I'm "asserting my point of view"?
Please do try to spread flame somewhere else but not here. I'm now done trying to explain myself to you.
No, I'm genuinely asking about what they are talking about. I'm literally asking clarifying questions here in order to find out more. I'm not stating how anything is, but merely wonder and want to learn more.
I do experience harassment as well, but not in the form of hearing "Oh, you use Coq so you must be a cock" every day, which is why I ask how the project name can be used as harassment.