Leaderboards

Each racer's best time on a board, fastest first. A time counts only after the race server has replayed the run from the racer's inputs, so nobody can type one in.

Career races and online races both count. Roll races start moving, so they stay off the boards.