Leaderboard rank starts from 1

play_with_hf.py

@@ -144,10 +144,12 @@ 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] = (
+                cur_df = (
                     (sort_df(cur_df.reset_index()) if len(cur_df) else add_dummies()).rename({"Attempts": "Turns"}, axis=1)
-                    .reset_index(drop=True).rename_axis("Rank").reset_index()
+                    .rename_axis("Rank").reset_index()
                 )
+                cur_df["Rank"] = list(range(1, len(cur_df)+1))
+                ret_leaderboards[lv] = cur_df
 
         return ret_leaderboards