diff -r 5589ab62869e -r c405ad565d70 src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Sat Jan 11 23:33:55 2025 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Sun Jan 12 00:05:01 2025 +0100
@@ -208,9 +208,7 @@
   Component_Zipperposition.isabelle_tool,
   Component_Zstd.isabelle_tool,
   Components.isabelle_tool,
-  isabelle.find_facts.Find_Facts.isabelle_tool1,
   isabelle.find_facts.Find_Facts.isabelle_tool2,
-  isabelle.find_facts.Find_Facts.isabelle_tool3,
   isabelle.vscode.Component_VSCode.isabelle_tool,
   isabelle.vscode.Component_VSCodium.isabelle_tool1,
   isabelle.vscode.Component_VSCodium.isabelle_tool2)