src/Pure/General/compress.scala

--- a/src/Pure/General/compress.scala	Sat Oct 22 16:56:17 2022 +0200
+++ b/src/Pure/General/compress.scala	Sat Oct 22 19:51:08 2022 +0200
@@ -15,7 +15,7 @@
   /* options */
 
   object Options {
-    def apply(): Options = Options_XZ()
+    def apply(): Options = Options_Zstd()
   }
   sealed abstract class Options
   case class Options_XZ(level: Int = 3) extends Options {