diff -r b01b0014c3f9 -r b0ad975cd25b src/Pure/Tools/prismjs.scala
--- a/src/Pure/Tools/prismjs.scala	Fri Nov 11 23:25:24 2022 +0100
+++ b/src/Pure/Tools/prismjs.scala	Sat Nov 12 17:21:38 2022 +0100
@@ -35,9 +35,9 @@
   def prelude(lang: JS.Source): JS.Source =
     cat_lines(List(
       Nodejs.require_fs,
-      Nodejs.require_path("prismjs", HOME),
-      Nodejs.require_path("prismjs_load", HOME + Path.explode("components"), dir = true),
-      JS.function("prismjs_load", lang),
+      Nodejs.require_path("const prismjs", HOME),
+      Nodejs.require_path("prismjs.load", HOME + Path.explode("components"), dir = true),
+      JS.function("prismjs.load", lang),
       """
 function prismjs_content(t) {
   if (Array.isArray(t)) { return t.map(prismjs_content).join() }