[galaxy-dev] uninstalling migrated tool

It seems like if we uninstall a migrated tool then it's entry in the migrated_tools_conf.xml file doesn't get deleted. Does it need to be removed manually? -- Thanks, Shantanu