There are endless ways to deal with stress: exercise, music, meditation, prioritization, etc. But there’s one that government employees don’t talk about as often: laughter.