src/Pure/General/http.scala

   {
     def home: String = url_path(server, service)
     def root: String = home + "/"
     def query: String = home + "?"
 
-    def uri_name: String = uri.toString
+    def toplevel: Boolean = uri_name == home || uri_name == root
+
+    val uri_name: String = uri.toString
 
     def uri_path: Option[Path] =
       for {
         s1 <- Option(uri.getPath)
         s2 <- Library.try_unprefix(root, s1)

 
   /* welcome */
 
   def welcome(name: String = "welcome"): Service =
     Service.get(name, request =>
-      if (request.uri_name == request.home) {
-        Some(Response.text("Welcome to " + Isabelle_System.identification()))
-      }
-      else None)
+      {
+        if (request.toplevel) {
+          Some(Response.text("Welcome to " + Isabelle_System.identification()))
+        }
+        else None
+      })
 
 
   /* fonts */
 
   private lazy val html_fonts: List[Isabelle_Fonts.Entry] =
     Isabelle_Fonts.fonts(hidden = true)
 
   def fonts(name: String = "fonts"): Service =
     Service.get(name, request =>
       {
-        if (request.uri_name == request.home) {
+        if (request.toplevel) {
           Some(Response.text(cat_lines(html_fonts.map(entry => entry.path.file_name))))
         }
         else {
           request.uri_path.flatMap(path =>
             html_fonts.collectFirst(