I'm just wondering about the semantics of plugin names for wordpress; in particular if I change the capitalisation of the my plugin name, will it have any implications for the plugin on http://wordpress.org/plugins?