Yes, he and you should not be downvoted, I agree, I fully understand how one can want to never be bothered by others playfulness. But I'm in the team that soft

Yes, he and you should not be downvoted, I agree, I fully understand how one can want to never be bothered by others playfulness. But I'm in the team that software is made by people, and that should be reflected. Jokes, like always, must be respectful to strangers, and strangers have to be polite and allow others to express themselves, jokes are not a trap. There definitely should be jokes in man and grep, it's just have to be of good taste (this one was good). We're not in a high stake diplomatic field. Removing all the jokes by principle is just giving in to the great consensus leveler that crushes humanity. Embrace humanity, don't crush it.