[woodruffw]

I’m not interested in a factual dispute over what the GP claimed. I’m only pointing out that they clearly took issue with the pun, and not the name itself.

[anm89]

The pun is the name. What else in the pun is there to be offended by except the name itself? I would seriously like to understand this.