Comment by @zhipeng • Hey

seems like there is no search button on the leaderboard site. if so, it could be better.