Reintroduce missing markdown

app.py

@@ -1861,6 +1861,10 @@ with gr.Blocks(css=css) as block:
     current_task_language = gr.JSON(value=dict(), visible=False)
     language_per_task = gr.JSON(value=dict(), visible=False)
 
+    gr.Markdown(f"""
+    Massive Text Embedding Benchmark (MTEB) Leaderboard. To submit, refer to the <a href="https://github.com/embeddings-benchmark/mteb#leaderboard" target="_blank" style="text-decoration: underline">MTEB GitHub repository</a> 🤗 Refer to the [MTEB paper](https://arxiv.org/abs/2210.07316) for details on metrics, tasks and models.
+    """)
+
     with gr.Tabs() as outer_tabs:
         # Store the tabs for updating them on load based on URL parameters
         tabs.append(outer_tabs)