tuned output;

--- a/src/Pure/Thy/browser_info.scala	Fri Aug 26 23:17:07 2022 +0200
+++ b/src/Pure/Thy/browser_info.scala	Fri Aug 26 23:37:21 2022 +0200
@@ -114,6 +114,8 @@
     }
 
     sealed case class Item(name: String, description: String = "") {
+      override def toString: String = name
+
       def json: JSON.T = JSON.Object("name" -> name, "description" -> description)
     }