tunes messages;

--- a/src/Pure/Build/export.scala	Sun Aug 10 23:32:06 2025 +0200
+++ b/src/Pure/Build/export.scala	Sun Aug 10 23:35:15 2025 +0200
@@ -296,7 +296,7 @@
     def shutdown(close: Boolean = false): List[String] = {
       consumer.shutdown()
       if (close) db.close()
-      errors.value.reverse ::: (if (progress.stopped) List("Export stopped") else Nil)
+      errors.value.reverse ::: (if (progress.stopped) List("Session export stopped") else Nil)
     }
   }