No, I’m fine with puns if they’re good and I think they have their place. The problem was that people would make dumb puns and jokes to karma farm instead of engaging in what could have been an interesting conversation in a lot of circumstances.