Punny answers only: what's the etymology of "pun"?
www.etymonline.com/word/pun has the etymology of "pun" as unknown. Speculatively, it's from puntiglio (Italian), from punctum (Latin), but I find that point rather dim.
What's your take on the ~~entomology~~ (sorry, etymology; that always bugs me) of "pun"?
https://redd.it/1wskx5u
@r_etymology
Post #12836
1