src/Doc/System/Phabricator.thy

   configuration file \<^path>\<open>/etc/isabelle-phabricator.conf\<close>, with name and
   root directory separated by colon (no extra whitespace). The home directory
   is the subdirectory \<^verbatim>\<open>phabricator\<close> within the root.
 
   \<^medskip> Option \<^verbatim>\<open>-l\<close> lists the available Phabricator installations with name and
-  root directory.
+  root directory --- without invoking a command.
 
   Option \<^verbatim>\<open>-n\<close> selects the explicitly named Phabricator installation.
 \<close>