src/Tools/Find_Facts/src/find_facts.scala

           HTTP.Fonts_Service,
           new HTTP.Service("isabelle.css") {
             def apply(request: HTTP.Request): Option[HTTP.Response] =
               Some(HTTP.Response(Bytes(isabelle_style), "text/css"))
           },
-          new HTTP.Service("app") {
+          new HTTP.Service("find_facts") {
             def apply(request: HTTP.Request): Option[HTTP.Response] =
               Some(HTTP.Response.html(
                 if (devel) project.build_html(progress = progress) else frontend))
           },
           new HTTP.REST_Service("api/block", progress = progress) {

                 encode.result(Result(blocks, facet))
               }
           }))
 
       server.start()
-      progress.echo("Server started " + server.toString + "/app")
+      progress.echo("Server started " + server.toString + "/find_facts")
 
       @tailrec
       def loop(): Unit = {
         Thread.sleep(Long.MaxValue)
         loop()