lunaryorn [1] filed a deletion request for gnome-shell-extension- jetbrains-search-provider [2]:
I no longer maintain this extension; superseded by gnome-search- providers-jetbrains [1] https://aur.archlinux.org/account/lunaryorn/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-jetbrains-search-provider/
