diff --git a/README.md b/README.md
index c070c4cd6..a5eb0501d 100644
--- a/README.md
+++ b/README.md
@@ -72,4 +72,4 @@ To lint links:
 just lint-links
 ```
 
-[lychee][lychee] is used for linting links.
+[lychee](https://github.com/lycheeverse/lychee) is used for linting links.
diff --git a/specs/SUMMARY.md b/specs/SUMMARY.md
index dca759513..6e96eeea4 100644
--- a/specs/SUMMARY.md
+++ b/specs/SUMMARY.md
@@ -18,7 +18,6 @@
       - [Derivation](./protocol/derivation.md)
       - [Span Batches](./protocol/span-batches.md)
     - [Batch Submitter](./protocol/batcher.md)
-  - [Safe Liveness Checking](./protocol/safe-liveness-checking.md)
   - [Predeploys](./protocol/predeploys.md)
   - [Preinstalls](./protocol/preinstalls.md)
   - [Superchain]()
@@ -46,4 +45,5 @@
     - [Rollup Node P2P](./interop/rollup_node_p2p.md)
     - [Fault Proof](./interop/fault_proof.md)
     - [Upgrade](./interop/upgrade.md)
+  - [Security Council Safe](./experimental/security-council-safe.md)
 - [Glossary](./glossary.md)