clarified output: no pretty-printing here;

--- a/src/Tools/VSCode/src/vscode_sledgehammer.scala	Sun Nov 02 16:07:47 2025 +0100
+++ b/src/Tools/VSCode/src/vscode_sledgehammer.scala	Sun Nov 02 16:15:41 2025 +0100
@@ -26,7 +26,7 @@
   }
 
   private def consume_output(output: Editor.Output): Unit = {
-    val content = XML.string_of_body(output.messages)
+    val content = XML.string_of_body(Pretty.unbreakable(output.messages))
     server.channel.write(LSP.Sledgehammer_Output(content))
   }