Better labelling of duplicate plugin names in menus by KnownPluginList.