proper result from "offline" tool;

--- a/src/Pure/Admin/component_hol_light.scala	Sun Jan 19 21:02:03 2025 +0100
+++ b/src/Pure/Admin/component_hol_light.scala	Sun Jan 19 23:48:17 2025 +0100
@@ -180,7 +180,7 @@
 
         run(3,
           File.bash_path(platform_dir + offline_exe) + " proofs",
-          "zstd -8 proofs")
+          "zstd -8 -c < proofsN > proofs.zst")
 
         val bundle_dir = Isabelle_System.make_directory(component_dir.path + Path.explode("bundle"))
         for (name <- List("facts.lst", "maps.lst", "proofs.zst")) {