[Non-Urgent] Remove Emoji from Leaderboard

[HuanzhiMao]

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).