Pluginmanager.py should accept command line arguments so that it can be run automatically, for example in a GitHub action.