[wp-hackers] How to rename plugins in the plugin repository?

[Otto]

Also, you're very likely not going to have any luck getting the name
in the repository changed. I suggest you deal with the problem instead
of expecting somebody to change this for you.

-Otto