Right, I was just confirming that they have been seen in the wild.

I also have doubts because I can't see their customer base ever being ok with the word "penis", regardless of whether it is a medical term. So I can't see them making that substitution in their dictionary. Although, I wouldn't be surprised if they outsourced it and only provided a list of words to substitute that was incomplete and left choosing the substitutions up to the dev.