no such package: gnome-shell-extension-workspaces-to-dock