yochananmarqos [1] filed a deletion request for gnome-shell-extension- extensions-in-system-menu-git [2]: No longer maintained: https://extensions.gnome.org/extension/3984/extensions-in-system-menu/ The author suggests using this one instead: https://aur.archlinux.org/packages/gnome-shell-extension-tweaks- system-menu-git/ [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-extensions-in-system...