diff --git a/website/data/commands-nav-data.json b/website/data/commands-nav-data.json
index e34f9e0c38..5658512238 100644
--- a/website/data/commands-nav-data.json
+++ b/website/data/commands-nav-data.json
@@ -297,8 +297,7 @@
       },
       {
         "title": "list",
-        "path": "intention/list",
-        "hidden": true
+        "path": "intention/list"
       },
       {
         "title": "match",