The "Available Modules" list in the Module Manager currently only displays the list of modules installed on the Pi. It should also list all the modules in the "allsky-modules" repository. If the user ...