--- a/src/Doc/System/Phabricator.thy Sun Jan 14 13:13:26 2024 +0100
+++ b/src/Doc/System/Phabricator.thy Sun Jan 14 13:14:35 2024 +0100
@@ -296,7 +296,7 @@
phabricator/bin/storage renamespace --from phabricator_vcs \
--to phabricator_xyz --input dump1.sql --output dump2.sql\<close>}
- Them run on the second installation root directory:
+ Then run on the second installation root directory:
@{verbatim [display] \<open> phabricator/bin/storage destroy
phabricator/bin/storage shell < .../dump2.sql\<close>}