changed the Minecraft scoreboard to show "number of diamond ore mined", rather than "amount of xp since last death", as "amount of xp since last death" was getting stupid while I was AFK fishing