MarsSeed [1] filed a deletion request for gnome-shell-extension- remove-dropdown-arrows-git [2]: Broken; EOL since 2019. [a] Not compatible with GNOME 40+. [b] [a]: http://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows [b]: http://github.com/mpdeimos/gnome-shell-remove-dropdown- arrows/blob/master/metadata.json#L7 [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-remove-dropdown-arro...