GitHub repository: GREP-UCLA-ROC/extensions-search-provider
Description: A GNOME Shell extension that gives you access to extensions settings through overview search