
diff -r 8a2511062609 -r 4d82b743c5e1 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Fri Jan 19 17:14:37 2024 +0100
+++ b/src/Doc/System/Phabricator.thy	Sat Jan 20 13:01:30 2024 +0100
@@ -234,7 +234,7 @@
     @{verbatim [display] \<open>  systemctl reload apache2\<close>}
 
     \<^item> Install \<^verbatim>\<open>certbot\<close> from \<^url>\<open>https://certbot.eff.org\<close> following the
-    description for Apache and Ubuntu 20.04 on
+    description for Apache and Ubuntu 20 on
     \<^url>\<open>https://certbot.eff.org/instructions?ws=apache&os=ubuntufocal\<close>. Run
     \<^verbatim>\<open>certbot\<close> interactively and let it operate on the domain
     \<^verbatim>\<open>vcs.example.org\<close>.
@@ -391,7 +391,7 @@
 
 text \<open>
   The @{tool_def phabricator_setup} tool installs a fresh Phabricator instance
-  on Ubuntu 20.04 LTS:
+  on Ubuntu 20.04 or 22.04 LTS:
   @{verbatim [display] \<open>Usage: isabelle phabricator_setup [OPTIONS]
 
   Options are:




