A genuine thank-you to comedians and other funny people who know when it's better to be un-joking and serious. Sometimes events transcend the need to joke about things; joking can be A response, but not always THE response. (I'm recalling Dave Barry's first column after 9/11. He was sad and angry and processing, like so many of us.) It shows that, for the person who stops being funny at that time, their default isn't always to find the joke. Even when it's their job. Part of my online experience is "try to be funny when I can." I'm not a pro at it, but again, I do what I can. I have moments when an attempted joke comes to me and I go "no, no, no, wrong time for a joke." I'm all right at self-editing...
...and that's partly because I find the "automatic snark" response to almost anything to be honestly exhausting. Plenty of times, empathy is the better response than to try to be the funniest person in the room.
(There's also the risk that "being the funniest in the room" is really "making it about you." I see this all the time on Facebook. It's one reason I often find Facebook a little draining.)
Sometimes, jokes can wait. Listening and processing and trying to understand can always happen.