src/Tools/Find_Facts/src/find_facts.scala

 
   /* responses and encoding */
 
   case class Result(blocks: Blocks, facets: Facets)
 
-  class Encode(options: Options) {
-    val library_base_url = Url(options.string("find_facts_url_library"))
-    val afp_base_url = Url(options.string("find_facts_url_afp"))
-
-    def url(block: Block): Url = {
-      val base_url = if (block.chapter == AFP.chapter) afp_base_url else library_base_url
-      base_url.resolve(block.url_path.implode)
-    }
+  object Encode {
+    def print_url(block: Block): String = 
+      HTTP.Browser_Info_Service.name + "/" + block.url_path.implode
 
     def block(block: Block): JSON.T =
       JSON.Object(
         "id" -> block.id,
         "chapter" -> block.chapter,
         "session" -> block.session,
         "theory" -> block.theory,
         "file" -> block.file,
         "file_name" -> block.file_name,
-        "url" -> url(block).toString,
+        "url" -> print_url(block),
         "command" -> block.command,
         "start_line" -> block.start_line,
         "src_before" -> block.src_before,
         "src_after" -> block.src_after,
         "html" -> block.html,

     port: Int = 0,
     devel: Boolean = false,
     progress: Progress = new Progress
   ): Unit = {
     val database = options.string("find_facts_database_name")
-    val encode = new Encode(options)
 
     def rebuild(): String = {
       build_html(default_web_dir + web_html, progress = progress)
       File.read(default_web_dir + web_html)
     }

 
       val server =
         HTTP.server(port, name = "", services = List(
           HTTP.Fonts_Service,
           HTTP.CSS_Service,
+          HTTP.Browser_Info(database = browser_info_database(db)),
           new HTTP.Service("find_facts") {
             def apply(request: HTTP.Request): Option[HTTP.Response] =
               if (request.toplevel) Some(HTTP.Response.html(if (devel) rebuild() else html))
               else {
                 request.uri_path.flatMap(path => web_assets.collectFirst({

           new HTTP.REST_Service("api/block", progress = progress) {
             def handle(body: JSON.T): Option[JSON.T] =
               for {
                 request <- Parse.query_block(body)
                 block <- query_block(db, request)
-              } yield encode.block(block)
+              } yield Encode.block(block)
           },
           new HTTP.REST_Service("api/blocks", progress = progress) {
             def handle(body: JSON.T): Option[JSON.T] =
               for (request <- Parse.query_blocks(body))
-              yield encode.blocks(query_blocks(db, request.query, Some(request.cursor)))
+              yield Encode.blocks(query_blocks(db, request.query, Some(request.cursor)))
           },
           new HTTP.REST_Service("api/query", progress = progress) {
             def handle(body: JSON.T): Option[JSON.T] =
               for (query <- Parse.query(body)) yield {
                 val facet = query_facet(db, query)
                 val blocks = query_blocks(db, query)
-                encode.result(Result(blocks, facet))
+                Encode.result(Result(blocks, facet))
               }
           }))
 
       server.start()
       progress.echo("Server started " + server.toString + "/find_facts")