src/Pure/System/options.scala

--- a/src/Pure/System/options.scala	Sat Mar 11 11:24:02 2023 +0100
+++ b/src/Pure/System/options.scala	Sat Mar 11 11:31:58 2023 +0100
@@ -91,7 +91,11 @@
     def unknown: Boolean = typ == Unknown
 
     def has_tag(tag: String): Boolean = tags.contains(tag)
-    def is_exported: Boolean = !has_tag(TAG_CONNECTION)
+
+    def session_content: Boolean =
+      has_tag(TAG_CONTENT) ||
+      has_tag(TAG_DOCUMENT) ||
+      has_tag(TAG_UPDATE)
   }