diff --git a/org.lamport.tla.toolbox.doc/plugin.xml b/org.lamport.tla.toolbox.doc/plugin.xml
index be52006c8d47ac1dd307da17ca4ffc6a4cff2ec9..58551ddd5b9d942c11613a42a33496a52e9a448b 100644
--- a/org.lamport.tla.toolbox.doc/plugin.xml
+++ b/org.lamport.tla.toolbox.doc/plugin.xml
@@ -166,6 +166,17 @@
             allPopups="false"
             locationURI="menu:toolbox.menu.help?before=toolbox.command.about">
          <menu id="community" label="Community" mnemonic="Y">
+	         <command
+	               commandId="org.lamport.tla.toolbox.doc.url"
+	               label="TLA+ CommunityModules"
+	               mnemonic="V"
+	               mode="FORCE_TEXT"
+	               style="push">
+	            <parameter
+	                  name="org.lamport.tla.toolbox.doc.url.name"
+	                  value="https://github.com/tlaplus/CommunityModules">
+	            </parameter>
+	         </command>
 	         <command
 	               commandId="org.lamport.tla.toolbox.doc.url"
 	               label="TLA+ user group"