--- a/src/Doc/System/Phabricator.thy Thu Jan 16 16:35:17 2020 +0100
+++ b/src/Doc/System/Phabricator.thy Thu Jan 16 16:41:25 2020 +0100
@@ -252,6 +252,10 @@
\<^item> Enable \<^verbatim>\<open>policy.allow-public\<close> to allow read-only access to resources,
without requiring user registration.
+
+ \<^item> Adjust \<^verbatim>\<open>phabricator.cookie-prefix\<close> for multiple installations with
+ overlapping domains (see also the documentation of this configuration
+ option within Phabricator).
\<close>