Hacker News Reader

That's a different form of "mining."

"to mine" =def (trans.) the act of declaring exclusive ownership rights of an object for the speaker of the sentence.

why downvote? it is funny.

Because they're Old Guards.