ainola [1] filed a deletion request for gnome-shell-tweener-fix [2]: Some years out of date, and it appears the upstream bugs have been fixed. [1] https://aur.archlinux.org/account/ainola/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-tweener-fix/