The story
Either transferred from the surname Jenkins or derived from the medieval given name Jankin, the pet form of Jan.
Etymology from Wiktionary, CC BY-SA 4.0.
Today it means: A narrow excavation driven through a pillar of coal. Full definition →