A repository for the HelpMenu plugin.