Feature Request
A search box in the Ignored Plug-ins modal which allows the user to filter displayed plugins.
Rationale
When a system has numerous plugins installed, it becomes extremely tedious to manually search the lengthy Ignored Plug-ins list.