Isn't the word "pork" offensive to some halal or kosher developers? https://github.com/search?q=pork https://github.com/search?q=pork <- 800 results Since suc

Isn't the word "pork" offensive to some halal or kosher developers? https://github.com/search?q=pork https://github.com/search?q=pork <- 800 results Since such name changes impose a lot of breakage and work downstream, we should find an objective way to designate which ones are necessary. An example could be an ongoing github poll, with the results averaged over years to prevent fads from creating work. A code of conduct could specify that if more than x% of the userbase over y years vote that <word> is offensive, it would be scheduled for deprecation in major version +1 and removal in +2.