Bugfix Leaderboard

play_with_hf.py

@@ -146,7 +146,7 @@ with (demo.route("Leaderboards", "/leaderboards") as demo_leaderboard):
                 cur_df = df_leaderboards_all.loc[df_leaderboards_all.Level.eq(lv)].groupby("User").apply(get_best)
                 ret_leaderboards[lv] = (
                     (sort_df(cur_df.reset_index()) if len(cur_df) else add_dummies()).rename({"Attempts": "Turns"}, axis=1)
-                    .rename_axis("Rank").reset_index()
+                    .reset_index(drop=True).rename_axis("Rank").reset_index()
                 )
 
         return ret_leaderboards