'Corporate types' have a lack of humour at the best of times, but that isn't what is going on here.

It's the 1 in 100, 1 in 1,000,000 chance that the tweet wasn't a joke, but a real threat. They can't take the risk that they knew about it, and didn't take it seriously and 100's died.