Leaderboards

Moving to Statistics

Leaderboards kept top tens for playtime, deaths, mobs and players killed, blocks mined and placed, and distance travelled, with /top and /stats in Discord and playtime milestones.

Statistics does all of that and much more, with the same commands, plus a menu in game. To move:

1. On the world's Plugins tab, choose Install on Statistics. Leaderboards is taken out in the same step.
2. Apply the list, and on a dedicated server restart it.

Every player's Leaderboards totals carry over, and milestones they'd already reached aren't announced again.