fix: update leaderboard sorting to use total instead of score 8fb7d04 Paul Gavrikov commited on Aug 29