diff -r 3e61534e804e -r 1579a9160c7f src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 14 16:22:21 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 14 21:49:49 2019 +0100
@@ -494,14 +494,8 @@
         Isabelle_System.chmod("600", default_config_file)
       }
       if (File.read(default_config_file) == mailers_template) {
-        progress.echo(
-"""
-Please invoke the tool again, after providing details in
-  """ + default_config_file.implode + """
-
-See also section "Mailer: SMTP" in
-  https://secure.phabricator.com/book/phabricator/article/configuring_outbound_email
-""")
+        progress.echo("Please invoke the tool again, after providing details in\n  " +
+          default_config_file.implode + "\n")
       }
       else setup_mail
     }