It just occurred to me that we are missing a Chinese benchmark from the new leaderboard that is present in the old one.
Is there a good reason for this, or did we just forget and should it be included?