Moved title of leaderboard view

app.py

@@ -143,13 +143,13 @@ with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main
 
     with gr.Row():
         with gr.Tab('Leaderboard') as leaderboards_tab:
+            gr.Markdown(LEADERBOARD_TAB_TITLE_MARKDOWN)
+
             with gr.Tab("Overall"):
-                gr.Markdown(LEADERBOARD_TAB_TITLE_MARKDOWN)
                 results_table = gr.DataFrame(leaderboard_server.get_leaderboard(), interactive=False, label=None,
                                              visible=True, elem_classes="leaderboard-table")
             for c in categories:
                 with gr.Tab(c):
-                    gr.Markdown(LEADERBOARD_TAB_TITLE_MARKDOWN)
                     results_table = gr.DataFrame(leaderboard_server.get_leaderboard(), interactive=False, label=None,
                                                  visible=True, elem_classes="leaderboard-table")
 

content.py

@@ -9,8 +9,6 @@ HEADER_MARKDOWN = """
 
 LEADERBOARD_TAB_TITLE_MARKDOWN = """
    ## Leaderboard
-   The leaderboard below shows number of significant wins for each model followed by specific metrics...
-   
    """
 
 SUBMISSION_TAB_TITLE_MARKDOWN = """
@@ -39,4 +37,4 @@ MORE_DETAILS_MARKDOWN = """
 
 MODAL_SUBMIT_MARKDOWN = """
 Are you sure you want to submit your model?
-"""
+"""