It would be nice (and more intuitive) if the list of official plugins shown to the user in the plugin admin area does not contain plugins which the user has already installed. This would make it easier for the user to manage the plugins. I imagine that filtering could be based on plugin name, as any change of plugin version would be taken care of by the update function. What do you think about this?

Putte