diff -r c519a14bd3f6 -r 4e9873629bff src/Pure/PIDE/command.scala
--- a/src/Pure/PIDE/command.scala	Fri Nov 08 16:57:48 2024 +0100
+++ b/src/Pure/PIDE/command.scala	Fri Nov 08 18:34:33 2024 +0100
@@ -388,8 +388,8 @@
 
   def text(source: String): Command = unparsed(source)
 
-  def rich_text(id: Document_ID.Command, results: Results, body: XML.Body): Command =
-    unparsed(XML.content(body), id = id, results = results,
+  def rich_text(body: XML.Body = Nil, results: Results = Results.empty): Command =
+    unparsed(XML.content(body), id = Document_ID.make(), results = results,
       markups = Markups.init(Markup_Tree.from_XML(body)))