Acredito que nunca fizeram uma sugestão sobre isso, então vamos lá...
Sugiro que acrescentem uma nova tag ao server, e como a TopMiner já existe, pensei em 2 nomes que não precisam ser especificamente esses, porém seriam bem lógicos: TopMinerador ou TopMineraçao.
E para o que seria essa tag ?
Simples, pra quem quebrasse mais blocos minerando no /minerar.
Acredito que seria um bom incentivo aos que curtem minerar bastante.
Assim como poderiam existir também as Tag's TopLenhador e TopEscavador, para quem quebrasse mais madeira e para quem escavasse mais terra/areia.
Tudo isso no /minerar apenas.