Admin/Release/CHECKLIST

 
 - macOS: check recent MacTeX;
 
 - Windows: check recent MiKTeX;
 
-- Phabricator:
+- Phorge:
     . src/Doc/System/Phabricator.thy: check/update underlying Ubuntu version
     . etc/options: check/update phabricator_version entries;
 
 
 Repository fork

 =========
 
 - regular packaging:
 
   #on fast Linux machine, with access to build_host for each platform
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2025 -j2 -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2025 -j2 -l -F -L
 
 - Docker image:
 
   isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025 Isabelle2025_linux.tar.gz
   isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025_X11_Latex -P X11 -P latex Isabelle2025_linux.tar.gz