[enhancement] The last three leaderboards could be merged since they add up to the overall leaderboard #4
Description
It's redundant to demonstrate three leaderboards this way. In particular, the three leaderboards add up to the overall one.
{{ message }}