yochananmarqos [1] filed a deletion request for gnome-shell-extension- arc-menu-bin [2]:
The Debian version isn't compatible with GNOME Shell 40. The maintainer never responded to my comment. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-arc-menu-bin/
