tuned output;

--- a/src/Pure/General/rsync.scala	Sat Apr 08 18:59:58 2023 +0200
+++ b/src/Pure/General/rsync.scala	Sat Apr 08 19:02:51 2023 +0200
@@ -26,6 +26,8 @@
     archive: Boolean,
     protect_args: Boolean,
   ) {
+    override def toString: String = directory.toString
+
     def no_progress: Context = new Context(directory, new Progress, archive, protect_args)
     def no_archive: Context = new Context(directory, progress, false, protect_args)