^{This is a follow-up from this forum thread.}

I'd like to make a suggestion regarding Options | Plugins that would make searching through all listed plugin titles easier: a search-as-you-type text box in the top right corner of the plugin listing. I attach a mockup.
It could also have a drop-down list filter ( official / 3rd-party / all ) to choose to search only among Picard official" plugins, or among 3rd-party ones, or include all. What I have in mind is the search box in Picard's main window. I attach a screenshot of that element.