Rename category Overall

server.py

@@ -55,7 +55,7 @@ class LeaderboardServer:
         self.submission_id_to_file = {}  # Map submission ids to file paths
         self.tasks_metadata = json.load(open(TASKS_METADATA_PATH))
         self.tasks_categories = {self.tasks_metadata[task]["category"] for task in self.tasks_metadata}
-        self.tasks_category_overall = "overall"
+        self.tasks_category_overall = "Overall"
         self.submission_ids = set()
         self.fetch_existing_models()
         self.tournament_results = self.load_tournament_results()