Allow Filtering "All Repositores" List

When you select Source > All Repositories the list can be incredibly long. We for example have about 80 repositories. It would be very helpful to be able to filter that list down to a more manageable list.

If you go into administration and look at the repository list, there is a "Filter Repositories" option. Ideal this same field/feature would be available in the non-admin All Repositories list.