I released a dropdown menu plugin a while back which has been quite popular.
I've been working on a beta version of it for a few months now and it is nearly ready for release into the WordPress plugins repository as the new stable version.
However ... it isn't just useful as a dropdown menu plugin, I'm also working on a system whereby it can be used for flyouts, sliders, dropboxes and all sorts of other menu types. So the original name for the plugin is misleading.
So ... how do I go about changing the name of the plugin? I can't see any way to do this as the folder name in the repository seems to be set. It also generates the ZIP file with the folder name too.
Or should I submit the new version of the plugin as an entirely new plugin and just depreciate the old one?