[Non-Urgent] Remove Emoji from Leaderboard
HuanzhiMao opened this issue · comments
It's not an urgent request, but can we remove those emoji from the leaderboard? It's distracting and I cannot really tell what that column is about by just looking at the emoji (like the meaning of 🤖 and 🗳️ is vague).
