In reply to David Decker.

My thoughts exactly. Searching on WordPress.org is a massive PITA and we need better filtration options. Sticking that interface into the Customizer (which in my opinion is already overloaded) isn't a good idea.