Update leaderboard with rank column

play_with_hf.py

@@ -144,7 +144,10 @@ with (demo.route("Leaderboards", "/leaderboards") as demo_leaderboard):
 
             for lv in ['1', '2', '3']:
                 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)
+                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()
+                )
 
         return ret_leaderboards