src/Tools/jEdit/src/document_model.scala

         yield {
           val snapshot = model.await_stable_snapshot()
           val html_context = Presentation.html_context(fonts_url = HTML.fonts_dir(fonts_root))
           val document =
             Presentation.html_document(
-              PIDE.resources, snapshot, html_context, Presentation.html_elements2,
+              PIDE.resources, snapshot, html_context, Presentation.elements2,
               plain_text = query.startsWith(plain_text_prefix))
           HTTP.Response.html(document.content)
         })
 
     List(HTTP.fonts(fonts_root), html)