remove "all" default in device/backend choice

app.py

@@ -141,13 +141,13 @@ with gr.Blocks(css=LEADERBOARD_CSS) as demo:
             
             with gr.Row():
                 backend_filter = gr.Dropdown(
-                    choices=["All"] + sorted(whisper_df["Backend"].unique().tolist()),
+                    choices= sorted(whisper_df["Backend"].unique().tolist()),
                     value="All",
                     label="Filter by Backend",
                     elem_id="backend-filter",
                     multiselect=True  # Enable multiple selection
                 )   
-                device_choices = ["All"] + sorted(whisper_df["Device"].unique().tolist()) if "Device" in whisper_df.columns else ["All"]
+                device_choices = sorted(whisper_df["Device"].unique().tolist()) if "Device" in whisper_df.columns else ["All"]
                 device_filter = gr.Dropdown(
                     choices=device_choices,
                     value="All",