Searching the user profile repo list could be nicer (BB-9713)

We were wondering if you guys might add an option to turn off the paging or to maybe set the paging size (thus allowing us to set it very high) for the main repo list?

We have grown accustomed to just hitting CTRL+F on that page, typing a few chars, and getting right into a repo. It is easier than finding things through a search/filter feature.

Customer Support sent us here. Hope this is the correct place.

Thank you!