Years ago, a close friend remarked, “I don’t like puns.” I was stunned. Not that there could be someone who doesn’t like puns, but that such a person could be a close frien…