This may get in the way of users copying it and forgetting to change the plugin name. The dev guide assumes manual installation anyway.