Remove old html; rename "leaderboards"->"leaders"