Sorted choices in "Category of benchmarks" dropdown menu

app.py

@@ -238,7 +238,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
 
                 with gr.Row():
                     category_of_tasks = gr.Dropdown(
-                        choices=[leaderboard_server.TASKS_CATEGORY_OVERALL] + list(leaderboard_server.TASKS_CATEGORIES),
+                        choices=[leaderboard_server.TASKS_CATEGORY_OVERALL] + sorted(leaderboard_server.TASKS_CATEGORIES),
                         value=leaderboard_server.TASKS_CATEGORY_OVERALL,
                         label="Category of benchmarks",
                         interactive=True,