A widget for ManagerManager plugin that allows sections to be renamed.