Steps to reproduce
-
Download a plugin from the extensions manager
-
Remove the plugin from the extensions manager
-
Download again plugin from the extensions manager
What happens: an error message appears "the plugin is already installed", installation no more possible (except with manual actions)
What should happen: the plugin should be either re-enabled without downloading or phisically removed and downloaded again