Leaderboard
Everything here came off the server. No estimates, no placeholder names. An empty board means no rounds have been recorded yet, which is a different thing from nobody playing.
Loading the board
How the board is filled
Round results are pushed in by the server side tooling, keyed to the active season. There is no manual entry form, so nothing lands on this board that did not come out of a match. If a name looks wrong, raise it in Bugs and feedback.