diff -r 3e3541e79219 -r ca88e5496553 src/Pure/Tools/prismjs.scala
--- a/src/Pure/Tools/prismjs.scala	Sun Nov 13 20:45:49 2022 +0100
+++ b/src/Pure/Tools/prismjs.scala	Sun Nov 13 21:31:45 2022 +0100
@@ -32,7 +32,7 @@
             JSON.Value.List.unapply(info.getOrElse("alias", Nil), JSON.Value.String.unapply)
               .getOrElse(Nil)
           Language(name :: alias)
-        }).toList
+        }).toList.sortBy(_.name)
       case _ => error("Failed to determine languages from " + components_path)
     }
   }