Ain’t it funny that people these days highlight an intended pun by saying, “No pun intended.”