Years ago, I once saw a sign on a psycholinguist's door saying ‘DEPARTMENT OF REDUNDANCY DEPARTMENT’, and I smiled at the joke. But today I happened to notice that the Jersey City corporate seal says ‘CITY OF JERSEY CITY’, and the city website is cityofjerseycity.com; I assume I am not meant to smile at that.
Maybe the principle to keep in mind is that (if one is to be polite) one should only smile at funny things when they are intended to be funny. But of course that presupposes one can tell.
Perhaps things that are intended to be funny should be labeled ("This is intendedly funny"). The trouble is, that might make them less funny.
Never mind. Just a thought at the end of a long, hard, working Sunday afternoon. Ignore me.