I do not disagree, but the fact that this is the only leaderboard that can be implemented does not imply that one needs to be implemented in the first place.