Removed some unnecessary stuff from leaderboards.html