diff --git a/collects/help/info.ss b/collects/help/info.ss
index d7e366323d..6228d554a8 100644
--- a/collects/help/info.ss
+++ b/collects/help/info.ss
@@ -1,3 +1,4 @@
 #lang setup/infotab
 
 (define post-install-collection "installer.ss")
+(define rico '(("docs" help/help "search and view documentation" 100)))