Made the URL clickable

app.py

@@ -15,7 +15,7 @@ from content import (
     RANKING_AFTER_SUBMISSION_MARKDOWN,
     MORE_DETAILS_MARKDOWN,
 )
-from server import LeaderboardServer
+from server import LeaderboardServer, xmlAndMarkdownEscape, xmlQuoteAttr
 
 leaderboard_server = LeaderboardServer()
 
@@ -172,7 +172,11 @@ def create_task_abbreviation_legend_table(category):
     task_abbreviation_legend_body = []
     abbreviation2name = leaderboard_server.CATEGORY_TO_TASK_ABBREVIATION_TO_DETAILS[category]
     for abbr, name, url in abbreviation2name.values():
-        task_abbreviation_legend_body.append([abbr, name, url])
+        task_abbreviation_legend_body.append([
+            xmlAndMarkdownEscape(abbr),
+            xmlAndMarkdownEscape(name),
+            f'<a href={xmlQuoteAttr(url)}>{xmlAndMarkdownEscape(url)}</a>',
+        ])
     
     return task_abbreviation_legend_body
 
@@ -310,7 +314,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                             "URL",
                         ],
                         column_widths=["150px"],
-                        datatype="str",
+                        datatype="markdown",
                         label="Descriptions of the tasks",
                         visible=False,
                         interactive=False,