src/Tools/jEdit/src/isabelle_hyperlinks.scala

           val markup =
             snapshot.select_markup[Hyperlink](
               Text.Range(buffer_offset, buffer_offset + 1),
               Some(Set(Isabelle_Markup.ENTITY)),
               {
-                // FIXME Protocol.Hyperlink extractor
+                // FIXME Isabelle_Rendering.hyperlink
                 case Text.Info(info_range,
                     XML.Elem(Markup(Isabelle_Markup.ENTITY, props), _))
                   if (props.find(
                     { case (Markup.KIND, Isabelle_Markup.ML_OPEN) => true
                       case (Markup.KIND, Isabelle_Markup.ML_STRUCT) => true