top_num_exp -> 30 (fixed discord leaderboard)

app.py

@@ -689,13 +689,13 @@ async def remove_huggingfolks():
         community_global_df['total_exp'] = pd.to_numeric(community_global_df['total_exp'], errors='coerce').fillna(0).astype(int)
         community_global_df = community_global_df.nlargest(len(community_global_df), 'total_exp')  
         # add profile hyperlinks to gradio demo
-        community_global_df_gradio = community_global_df.copy()
+        community_global_df_gradio = community_global_df.copy() # must be a COPY, otherwise it adds a new name for the same dataframe.
         community_global_df_gradio['hf_user_name'] = community_global_df_gradio['hf_user_name'].apply(format_hyperlink)
 
-        top_num = 10
+        top_num = 30
         top_num_exp = community_global_df.nlargest(top_num, 'total_exp')
         
-        top_num_exp['D'] = ['🥇','🥈','🥉','','','','','','','']
+        top_num_exp['D'] = ['🥇','🥈','🥉','','','','','','','','','','','','','','','','','','','','','','','','','','','']
         top_num_rows = top_num_exp.values.tolist()
 
         #print(top_30_rows)