tuned;

--- a/src/Pure/System/progress.scala	Mon Jan 16 20:57:38 2023 +0100
+++ b/src/Pure/System/progress.scala	Mon Jan 16 22:41:00 2023 +0100
@@ -122,7 +122,7 @@
           (results, message)
         }
 
-      (results, List(XML.Elem(Markup(Markup.TRACING_MESSAGE, Nil), message)))
+      (results, List(XML.elem(Markup.TRACING_MESSAGE, message)))
     }
   }
 }