In english at least, we call this a “double entendre” ;-) Obviously the very pur...

		jonsterling on April 12, 2021 \| parent \| context \| favorite \| on: Renaming Coq In english at least, we call this a “double entendre” ;-) Obviously the very purpose of double entendres is to troll those who will get the second meaning. duh!