I have registered my first plugin to the WordPress Plugin Directory with a wrong name.
I noticed that after I make a release of the plugin.
Now I have removed all code in subversion from the "bad name" plugin and start the same with the plugin correct name.
But now the bad name plugin release is still available to download from "http://wordpress.org/extend/plugins/".
It is possible to remove the bad one or - at least- to mark the old plugin as deprecated?