more thorough cleanup;

--- a/src/Pure/Admin/build_release.scala	Thu Jan 30 20:55:42 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Thu Jan 30 21:44:44 2025 +0100
@@ -504,6 +504,10 @@
               Bash.strings(sessions), echo = true).check
           Isabelle_System.make_directory(database_target_dir)
           Isabelle_System.copy_dir(database_dir, database_target_dir, direct = true)
+
+          Isabelle_System.rm_tree(database_dir)
+          database_dir.dir.file.delete  // "$FIND_FACTS_HOME_USER/solr"
+          database_dir.dir.dir.file.delete  // "$FIND_FACTS_HOME_USER"
         }
 
         if (!include_library) other_isabelle_purge("browser_info")

--- a/src/Pure/System/other_isabelle.scala	Thu Jan 30 20:55:42 2025 +0100
+++ b/src/Pure/System/other_isabelle.scala	Thu Jan 30 21:44:44 2025 +0100
@@ -187,6 +187,7 @@
 
   def cleanup(): Unit = {
     clean_settings()
+    ssh.delete(expand_path(Host.private_data.database))
     ssh.delete(etc, isabelle_home_user)
   }
 }