The AdminTools/plugin-manager can be considered completed.