I’ll admit, I read the article solely to see if they acknowledge the pun. They don’t, leaving me to wonder if the pun was even intended. Had to be, right?