Revert some changes

app.py

@@ -106,8 +106,8 @@ with demo:
         with gr.TabItem("🏅 N Correct", elem_id="llm-benchmark-tab-table", id=1):
             leaderboard = init_leaderboard(LEADERBOARD_DF_N_CORRECT)
 
-        # with gr.TabItem("📝 About", elem_id="llm-benchmark-tab-table-n-correct", id=2):
-        #     gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text")
+        with gr.TabItem("📝 About", elem_id="llm-benchmark-tab-table-n-correct", id=2):
+            gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text")
 
         with gr.TabItem("🚀 Submit here! ", elem_id="llm-benchmark-tab-table", id=3):
             with gr.Column():

src/about.py

@@ -57,7 +57,7 @@ TITLE = """<h1 align="center" id="space-title">DARE leaderboard</h1>"""
 
 # What does your leaderboard evaluate?
 INTRODUCTION_TEXT = """
-
+Intro text
 """
 
 # Which evaluations are you running? how can people reproduce what you have?