Case-insensitive on_hf match (HF lowercases repo slugs)

app.py

@@ -185,8 +185,12 @@ def _load_catalog() -> pd.DataFrame:
     df = pd.read_csv(CSV_PATH)
     df["nchans"] = df["nchans_set"].apply(_parse_mode_from_json_col)
     df["sfreq"] = df["sampling_freqs"].apply(_parse_mode_from_json_col)
-    on_hub = _hf_repos()
-    df["on_hf"] = df["dataset"].apply(lambda s: "✓" if s in on_hub else "")
+    # HF normalizes slugs to lowercase when creating repos; compare that way
+    # so mixed-case entries (e.g. "EEG2025r1") still flag correctly.
+    on_hub = {s.lower() for s in _hf_repos()}
+    df["on_hf"] = df["dataset"].apply(
+        lambda s: "✓" if str(s).lower() in on_hub else ""
+    )
     for col in ("n_subjects", "n_records", "n_tasks"):
         df[col] = pd.to_numeric(df[col], errors="coerce").fillna(0).astype(int)
     extra = ["dataset_title", "doi", "duration_hours_total"]