Removing Plugins from the Plugins Portal

In my eagerness to publish my first plugin to the portal I messed up on the id. I didn’t want to pollute the space with useless references and was wondering if it was possible to delete this reference?

Sorry, but we haven’t any support for deleting plugins, due to the possible ramifications. We are contemplating support for hiding them, on the other hand.

Thanks for the reply. I looked and looked and figured it wasn’t supported.