How is this "political correctness"? While I like silly and vulgar things, I don't think you need to be an SJW to find it annoying that every time you discuss y

How is this "political correctness"? While I like silly and vulgar things, I don't think you need to be an SJW to find it annoying that every time you discuss your coding project with an English speaking or international team using Coq, everybody else erupts to a pile of giggles. It would probably be even more annoying if I was a women who used it.