I wondered why the feed wasn’t as good these days; that’s really sad. He was really funny, and it was so unusual to associate humor with (in my experience) the most humorless branch of the federal government.