Rename the plugin

Hi,

I have to rename the plugin, because of a conflict with the brandingguidlines of Pocket. I would like call the plugin “WP Stacker” instead of “WP Pocket”. Would it be possible to change the URL http://wordpress.org/extend/plugins/wp-pocket to http://wordpress.org/extend/plugins/wp-stacker?

Best

Jan

Also posted at http://wordpress.org/support/topic/renae-the-plugin, because I do not know what is the right forum.