diff --git a/docs/_data/navigation.yml b/docs/_data/navigation.yml
index d60430a5..d2472a8d 100644
--- a/docs/_data/navigation.yml
+++ b/docs/_data/navigation.yml
@@ -17,5 +17,7 @@ pages:
     url: /performance
   - title: Sandboxing
     url: /sandbox
+  - title: Compatibility
+    url: /compatibility
   - title: Typechecking
     url: /typecheck