Don’t say “no pun intended”
Puns are always intended
@elenizarro Some are simply punintentional.
@Chas ouch