# HG changeset patch
# User wenzelm
# Date 1661684339 -7200
# Node ID da54ac51266acf0275698071c754976e6eaa4a98
# Parent  adf9c4d685814825dce5a4f39b5cc9473ca92322
updated some links;

diff -r adf9c4d68581 -r da54ac51266a src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Sun Aug 28 12:37:06 2022 +0200
+++ b/src/Doc/System/Phabricator.thy	Sun Aug 28 12:58:59 2022 +0200
@@ -29,19 +29,20 @@
   providers --- there is no need to follow big cloud corporations. So it is
   feasible to remain the master of your virtual home, following the slogan
   ``own all your data''. In many respects, Phabricator is similar to the
-  well-known Nextcloud\<^footnote>\<open>\<^url>\<open>https://nextcloud.org\<close>\<close> product, concerning both
+  well-known Nextcloud\<^footnote>\<open>\<^url>\<open>https://nextcloud.com\<close>\<close> product, concerning both
   the technology and sociology.
 
   \<^medskip>
   The following Phabricator instances may serve as examples:
 
-    \<^item> Phabricator development \<^url>\<open>https://secure.phabricator.com\<close>
     \<^item> Wikimedia development \<^url>\<open>https://phabricator.wikimedia.org\<close>
     \<^item> Blender development \<^url>\<open>https://developer.blender.org\<close>
     \<^item> LLVM development \<^url>\<open>https://reviews.llvm.org\<close>
     \<^item> Mozilla development \<^url>\<open>https://phabricator.services.mozilla.com\<close>
-    \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
+    \<^item> Phabricator development (inactive) \<^url>\<open>https://secure.phabricator.com\<close>
+    \<^item> Phorge development (planned successor of Phabricator)
+      \<^url>\<open>https://we.phorge.it\<close>
 
   \<^medskip>
   Initial Phabricator configuration requires many details to be done right.
@@ -234,7 +235,7 @@
 
     \<^item> Install \<^verbatim>\<open>certbot\<close> from \<^url>\<open>https://certbot.eff.org\<close> following the
     description for Apache and Ubuntu 20.04 on
-    \<^url>\<open>https://certbot.eff.org/lets-encrypt/ubuntubionic-apache\<close>. Run
+    \<^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>.