FINAL version 1.01; add basic leaderboards view.