diff -r 926c445cddde -r d526ae8fc0a0 src/Pure/System/other_isabelle.scala
--- a/src/Pure/System/other_isabelle.scala	Mon Feb 03 19:15:30 2025 +0100
+++ b/src/Pure/System/other_isabelle.scala	Mon Feb 03 19:50:27 2025 +0100
@@ -188,5 +188,5 @@
   /* cleanup */
 
   def cleanup(): Unit =
-    ssh.delete(host_db, etc_settings, etc_preferences, etc)
+    ssh.delete(host_db, etc_settings, etc_preferences, etc, isabelle_home_user)
 }