refactor: it's an inventory

docs/federation/index.md

@@ -38,6 +38,12 @@ This is the public facing page where we publish all things federation in the ope
 
     [Tools We Use](/federation/tools){ .md-button .md-button--primary }
 
+- __Shared Infrastructure Inventory__
+
+    Tools we maintain for the federation 🛠
+
+    [Tools We Maintain](/federation/infra){ .md-button .md-button--primary }
+
 - __Code of Co-operation__
 
     Be excellent to each other 💝

docs/federation/infra.md

@@ -1,5 +1,5 @@
 ---
-title: Shared infrastructure
+title: Shared Infrastructure Inventory
 ---
 
 ## Shared repository for fedi maintainers

mkdocs.yml

@@ -88,7 +88,7 @@ nav:
       - "Finance": federation/finance.md
       - "Membership": federation/membership.md
       - "Code of Co-operation": federation/code-of-coop.md
-      - "Shared Infrastructure": federation/shared-infra.md
+      - "Shared Infrastructure Inventory": federation/infra.md
       - "Proposals":
         - federation/proposals/index.md
         - federation/proposals/federation.md