Earlier quoted context omitted.
I seem to recall that young children of a certain age delight in puns, but eventually grow out of it as they find other parts of life and language more fascinating. Perhaps it would accordingly be apt to tell adult pun-slingers to find more age-appropriate humour, as one might point an adult devotee of nursery-rhymes toward more adult poetry.
Yes, they've surely never heard of other types of humor /s
Repetition is sometimes instructive.
Repetition is sometimes instructive.