add title;

--- a/src/Pure/Build/build_manager.scala	Mon Jun 10 13:45:12 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Mon Jun 10 13:55:59 2024 +0200
@@ -1100,6 +1100,7 @@
       val logo = Bytes.read(Path.explode("$ISABELLE_HOME/lib/logo/isabelle_transparent-48.gif"))
       val head =
         List(
+          HTML.title("Isabelle Build Manager"),
           Web_App.More_HTML.icon("data:image/x-icon;base64," + logo.encode_base64),
           HTML.style_file("https://hawkz.github.io/gdcss/gd.css"),
           HTML.style("html { background-color: white; }"))