Currently, gadgets are identified by page name. Hence, when a gadget is renamed, the user preferences to have enabled this gadget is lost.
A feature to migrate a gadget would then be welcome to perform the following tasks:
- Gets the list of users having gadget A enabled
- Enable gadget B for these users
- Disable gadget A for these users