Search extensions across repos #1300

Describe your suggested feature

We can search extensions across all repos for easy downloading, rather than checking each one individually. This feature is especially helpful given the large number of repos we currently have.

Other details

No response

Acknowledgements

• My suggestion is NOT about adding a new provider
• I have searched the existing issues and this is a new ticket, NOT a duplicate or related to another open issue.