src/Tools/VSCode/src/vscode_rendering.scala

 import isabelle._
 
 object VSCode_Rendering
 {
   private val hyperlink_elements =
-    Markup.Elements(Markup.ENTITY, Markup.PATH, Markup.POSITION, Markup.URL)
+    Markup.Elements(Markup.ENTITY, Markup.PATH, Markup.POSITION)
 }
 
 class VSCode_Rendering(
     val model: Document_Model,
     snapshot: Document.Snapshot,

         {
           case (links, Text.Info(_, XML.Elem(Markup.Path(name), _))) =>
             Some(Line.Node_Range(resolve_file_url(name)) :: links)
 
 /* FIXME
-          case (links, Text.Info(_, XML.Elem(Markup.Url(name), _))) =>
-            Some(PIDE.editor.hyperlink_url(name) :: links)
-
           case (links, Text.Info(info_range, XML.Elem(Markup(Markup.ENTITY, props), _)))
           if !props.exists(
             { case (Markup.KIND, Markup.ML_OPEN) => true
               case (Markup.KIND, Markup.ML_STRUCTURE) => true
               case _ => false }) =>