MarsSeed [1] filed a deletion request for gnome-shell-extension-web- search-dialog-git [2]: Broken; EOL since 2017 [a], not compatible with Gnome Shell 3.28+. [b] [a]: https://github.com/awamper/web-search-dialog [b]: https://extensions.gnome.org/extension/549/web-search-dialog/ [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-web-search-dialog-gi...