upvote
Except no miners went down the mine after their day job to work for free and for fun
reply
You write sixteen lines, and what do you get?

Another PR and technical debt.

reply
Eh, maybe the geologists did.
reply