use bundled browser_info.db for Find_Facts in release;

--- a/src/Pure/Admin/build_release.scala	Fri Feb 14 17:04:17 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Fri Feb 14 17:15:27 2025 +0100
@@ -504,7 +504,7 @@
             other_isabelle.bash("bin/isabelle sessions -a " + opt_dirs).check.out_lines
           other_isabelle.bash(
             "bin/isabelle find_facts_index -o find_facts_database_name=" +
-              Bash.string(database_name) + " -n " + opt_dirs +
+              Bash.string(database_name) + " -n -N " + opt_dirs +
               Bash.strings(sessions), echo = true).check
           Isabelle_System.make_directory(database_target_dir)
           Isabelle_System.copy_dir(database_dir, database_target_dir, direct = true)