FredBezies [1] filed a deletion request for gnome-shell-extension- bottompanel-git [2]: Useless. Gnome 40.x put the panel on the bottom on the screen. [1] https://aur.archlinux.org/account/FredBezies/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-bottompanel-git/