Except no miners went down the mine after their day job to work for free and for fun

You write sixteen lines, and what do you get?

Another PR and technical debt.

Eh, maybe the geologists did.