src/Doc/System/Phabricator.thy

     \<^item> Wikimedia development \<^url>\<open>https://phabricator.wikimedia.org\<close>
     \<^item> Blender development \<^url>\<open>https://developer.blender.org\<close>
     \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
 
-  \<^medskip> Initial Phabricator configuration requires many details to be done
-  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 the somewhat bulky Isabelle distribution again.
+  \<^medskip>
+  Initial Phabricator configuration requires many details to be done right.
+  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 the somewhat bulky Isabelle distribution
+  again.
 \<close>
 
 
 section \<open>Quick start\<close>
 

       \<^item> Enable \<^verbatim>\<open>policy.allow-public\<close> to allow read-only access to resources,
       without requiring user registration.
 \<close>
 
 
-section \<open>Global data storage and backups\<close>
+section \<open>Global data storage and backups \label{sec:phabricator-backup}\<close>
 
 text \<open>
   The global state of a Phabricator installation consists of two main parts:
 
     \<^enum> The \<^emph>\<open>root directory\<close> according to

 
 text \<open>
   The Phabricator developers publish a new version approx.\ every 1--4 weeks:
   see also \<^url>\<open>https://secure.phabricator.com/w/changelog\<close>. There is no need to
   follow such frequent updates on the spot, but it is a good idea to upgrade
-  occasionally, see also
-  \<^url>\<open>https://secure.phabricator.com/book/phabricator/article/upgrading\<close> for
-  general explanations.
+  occasionally --- after dump and/or backup (\secref{sec:phabricator-backup}).
 
   The Isabelle/Phabricator setup provides a convenience tool to upgrade all
   installations uniformly:
   @{verbatim [display] \<open>  /usr/local/bin/isabelle-phabricator-upgrade\<close>}
 
   This refers to the \<^verbatim>\<open>stable\<close> branch of the distribution repositories by
   default. Alternatively, it also possible to use the \<^verbatim>\<open>master\<close> like this:
   @{verbatim [display] \<open>  /usr/local/bin/isabelle-phabricator-upgrade master\<close>}
+
+  \<^medskip>
+  See
+  \<^url>\<open>https://secure.phabricator.com/book/phabricator/article/upgrading\<close> for
+  further explanations on Phabricator upgrade.
 \<close>
 
 
 section \<open>Reference of command-line tools\<close>