Don't show all available plugins by default; use search field to find plugins. (pull 4580); Allow use of multiple space-separated filter terms in plugin manager ...