tuned output;

--- a/src/Pure/Thy/sessions.scala	Mon Jan 02 15:28:33 2023 +0100
+++ b/src/Pure/Thy/sessions.scala	Mon Jan 02 15:30:57 2023 +0100
@@ -64,6 +64,8 @@
     body: Bytes,
     cache: Compress.Cache
   ) {
+    override def toString: String = name
+
     def bytes: Bytes = if (compressed) body.uncompress(cache = cache) else body
     def text: String = bytes.text
   }