My view is that we ought to have humor, but that (1) humor is no excuse for keeping trash lying around, and (2) we should have a preference for "rational" humor, i.e., directed sarcasm and mockery.
