It’s an odd feature of journalism that, even on serious topics like this one, journalists can’t resist a bit of a pun.