Remove plugins that have been put into separate repos.