diff -r 8f485a199874 -r 4cba4e250c28 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Wed Mar 31 17:15:54 2021 +0200
+++ b/lib/scripts/getsettings	Wed Mar 31 18:12:46 2021 +0200
@@ -72,7 +72,6 @@
 fi
 
 #Isabelle distribution identifier -- filled in automatically!
-ISABELLE_ID=""
 [ -z "$ISABELLE_IDENTIFIER" ] && ISABELLE_IDENTIFIER=""