Possibly the greatest missed opportunity for a good pun I’ve seen this year.