Leaderboards

The overall ranking sums each player's best score per segment + difficulty + mode.