# HG changeset patch
# User wenzelm
# Date 1573593321 -3600
# Node ID 1159e52e5b051ffaff8c93735f84382c68569422
# Parent  f9b1c6522155a8dc5e6f7c438192fb24f19501c8
tuned;

diff -r f9b1c6522155 -r 1159e52e5b05 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Tue Nov 12 19:47:44 2019 +0100
+++ b/src/Doc/System/Phabricator.thy	Tue Nov 12 22:15:21 2019 +0100
@@ -42,9 +42,12 @@
     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
 
   \<^medskip> Initial Phabricator server configuration requires many details to be done
-  right. Isabelle provides some command-line tools to help with it, but
-  afterwards Isabelle support is optional: it is possible to run and maintain
-  the server, without requiring a full Isabelle distribution again.
+  right.\<^footnote>\<open>See also
+  \<^url>\<open>https://secure.phabricator.com/book/phabricator/article/installation_guide\<close>
+  in the context of \<^url>\<open>https://help.ubuntu.com/lts/serverguide\<close>.\<close> Isabelle
+  provides some command-line tools to help with the setup, and afterwards
+  Isabelle support is optional: it is possible to run and maintain the server,
+  without requiring a full Isabelle distribution again.
 \<close>
 
 
@@ -113,10 +116,14 @@
   Auth Provider is now active.
 
   \<^medskip>
-  The pending request in Phabricator Setup Issues to lock the configuration
+  The pending request in Phabricator \<^bold>\<open>Setup Issues\<close> to lock the configuration
   can be fulfilled as follows:
 
   @{verbatim [display] \<open>  isabelle phabricator bin/auth lock\<close>}
+
+  \<^medskip>
+  Most other Setup Issues can be ignored, after reading through them briefly
+  to make sure that there are no genuine problems remaining.
 \<close>