Document replicateHiddenProjects setting

Change-Id: I3ad80487c42fce93829c01d8d7dda07ee9a8aa1f
diff --git a/src/main/resources/Documentation/config.md b/src/main/resources/Documentation/config.md
index 61d62b4..81c5f24 100644
--- a/src/main/resources/Documentation/config.md
+++ b/src/main/resources/Documentation/config.md
@@ -523,6 +523,12 @@
 
 	By default, false, do *not* replicate project deletions.
 
+remote.NAME.replicateHiddenProjects
+:	If true, hidden projects will also be replicated to the
+remote site.
+
+	By default, false, do *not* replicate hidden projects.
+
 remote.NAME.mirror
 :	If true, replication will remove local branches and tags that are
 absent remotely or invisible to the replication (for example read access