Re: Deprecating old plugins

[Sean Zhu]

I think the app's plug-ins panel needs a "I use this plugin (so please 
don't remove it)" button next to each plug-in. That would remove some of 
the guesswork, and since it's a button, it would not be an invasion of 
privacy.