And yes, if it's important, I'm "part" of a couple of marginalized groups myself, but I'm not sure how that's important here.
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.
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.
I've been shocked by the daily harassment and hostility that I have to put up with now. The jokes people make about me that they think are "no big deal". People can be unapologetically terrible, and yes pre-pubescent level harassment happens all the time, even in professional environments. It's just not something that you can understand unless you've been in that position.