Removed "Add Plugins" toggle from mini editor.

The filter checkbox now has the same effect, so it's unnecessary.