Why do we ignore if they already have a developer_name? What if it changes in the manifest -- shouldn't we update our side if it does?