I'm still experimenting with plugins. Plugin deployment is very well documentated. But how can I remove a (incorrect) plugin from the list of services, platforms or whatever ? What happens if I deploy an new version of the plugin with the same identifier ? Do the changes affect existing platforms ?
If you deploy a new version of a plugin with the same name, the server will add the new types and remove the old ones. We really need to add something to the UI or CLI to delete all resource types for a given plugin.
From my point of view if you want to deploy a new plugin you have to remove the old platform, deploy the new plugin and restart your server. I don't know about the agent. It supports hot deployment, but I prefer to restart it. Maybe you have to do it manually, when you deploy your new plugin before removing your platform.