What would you think about only removing plugins that are no longer in plugins.txt, instead of removing every plugin and then potentially reinstalling them again?