I’ve updated all of the News posts about WP Workbench to indicate it is in Pro repos only (I included that in the first post, but haven’t mentioned it in subsequent ones), so folks won’t be confused.
Maybe it is time to have an installer for webmin plugins, then you identify the pro and gpl ones. Currently modules that are not used are under that unused menu.
There is already an installer for Webmin plugins. It is your system package manager. Everything we do is packaged with the package manager for your OS (RPM or deb), and there is a Webmin module for installing packages (Software Packages) if you prefer that to the CLI.
balero says it is listed in Features and Plugins, though, so obviously the module is installed. That isn’t the problem they’re having.