yochananmarqos [1] filed a deletion request for gnome-shell-extension- workspaces-to-dock [2]: No longer maintained / developed: https://github.com/passingthru67/workspaces-to-dock?tab=readme-ov- file#this-extension-is-no-longer-maintaineddeveloped [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-workspaces-to-dock/