francoism90 [1] filed a request to merge gnome-fuzzy-app-search [2] into gnome-shell-extension-fuzzy-app-search [3]: Could this please be renamed to gnome-shell-extension-fuzzy-app- search? :) Thanks! [1] https://aur.archlinux.org/account/francoism90/ [2] https://aur.archlinux.org/pkgbase/gnome-fuzzy-app-search/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-fuzzy-app-search/