Etymology
Today it means: A little pun. Full definition →
From pun + -let.
Etymology from Wiktionary, CC BY-SA 4.0.