I was surprised to learn that humor and jokes were not synonyms.
Humor
Questions about humorous expressions, jokes, puns, etc.
38 questions
Jokes
For questions about jokes. But be careful, many joke questions are considered off-topic and will be closed.
44 questions
Also interesting is that there are only 5 questions tagged with both.
Glancing through the list, there doesn't seem to be a noticeable topical difference between the two tags. I propose that the jokes tag be made a synonym of the broader humor tag.
Thanks to Howard's comment, I also noticed that there was the pun tag.
Pun
A pun is a joke exploiting the different possible meanings of a word or the fact that there are words that sound alike but have different meanings.
33 questions
Pun x Jokes: 4 tagged questions
Pun x Humor: 3 tagged questions
There are no questions with all 3 tags.
I personally think Pun is an appropriate tag because it's a type of humor that relies upon a facet of the english language. As the jokes tag points out via the linked meta question, questions about jokes that don't rely on the English Language are off topic. For that reason, I think Jokes and Humor should be synonym, as they are both fairly generic terms for 'funny stuff'. More to the point, the nuance between Humor and Joke does not depend on the English language.