--- a/src/Doc/System/document/root.tex Mon Nov 11 17:00:07 2019 +0100
+++ b/src/Doc/System/document/root.tex Mon Nov 11 17:32:40 2019 +0100
@@ -35,6 +35,7 @@
\input{Presentation.tex}
\input{Server.tex}
\input{Scala.tex}
+\input{Phabricator.tex}
\input{Misc.tex}
\begingroup