Problem: links are not clickable

Solution: auto-link links in markdown

editor/src/markdown.js

@@ -5,7 +5,7 @@ import MarkdownItMark from "markdown-it-mark";
 import MarkdownItKatex from "markdown-it-katex";
 
 const MD = new MarkdownIt({
-    linkify: false,
+    linkify: true,
     highlight: function (str, lang) {
         if (lang === 'mermaid') {
             return '<div class="mermaid">' + str + '</div>';