diff --git a/doc/source/index.rst b/doc/source/index.rst
index 32c5162..2b4bf35 100644
--- a/doc/source/index.rst
+++ b/doc/source/index.rst
@@ -16,12 +16,13 @@ infrastructure developers.
    specs/zuulv3
    specs/zuulv3-executor-security
    specs/gerrit-2.13
+   specs/gerrit-contactstore-removal
 
 Gerrit query for all changes related to priority efforts::
 
-  status:open AND (topic:storyboard-migration OR branch:feature/zuulv3 OR topic:gerrit-upgrade)
+  status:open AND (topic:storyboard-migration OR branch:feature/zuulv3 OR topic:gerrit-upgrade OR topic:gerrit-contactstore-removal)
 
-https://review.openstack.org/#/q/status:open+AND+%28topic:storyboard-migration+OR+branch:feature/zuulv3+OR+topic:gerrit-upgrade%29,n,z
+https://review.openstack.org/#/q/status:open+AND+%28topic:storyboard-migration+OR+branch:feature/zuulv3+OR+topic:gerrit-upgrade+OR+topic:gerrit-contactstore-removal%29,n,z
 
 Approved Design Specifications
 ==============================
@@ -35,7 +36,6 @@ permits.
    :maxdepth: 1
 
    specs/deploy-ci-dashboard
-   specs/gerrit-contactstore-removal
    specs/jenkins-job-builder_2.0.0-api-changes
    specs/nodepool-drivers
    specs/pholio
diff --git a/specs/gerrit-2.13.rst b/specs/gerrit-2.13.rst
index df42e2a..f2c12aa 100644
--- a/specs/gerrit-2.13.rst
+++ b/specs/gerrit-2.13.rst
@@ -136,4 +136,6 @@ following integrations:
 Dependencies
 ============
 
-N/A
+Because Gerrit 2.12 and later have dropped the ``contact store``
+feature, we need to first :doc:`stop relying on it
+<gerrit-contactstore-removal>`.