I can think of a few reasons why there might be a difference between the tags "mining" and "miner", but I wonder if the difference is too subtle to be useful. What does everyone else think?

1 Answer 1


There appear to be about 200 uses of the tag "mining" and only 2 of "miner". The popularity sort of speaks for itself - the tag "miner" is not that far removed from "mining" as to make it useful by itself. I'd make it a synonym.

  • As this suggestion has been put forth again, I just did so.
    – Murch Mod
    Oct 3, 2014 at 7:38

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .