Add All-time leaderboards

2 votes

There are currently only leaderboards for each year. Add leaderboards for all time.

Under consideration Suggested by: SharkScope Infrastructure (02 Aug, '23) • Upvoted: 01 Mar • Comments: 0