Hello, I'm the maintainer of the following packages which became outdated with Gnome 3.2 release and have not been updated since.
gnome-shell-extension-arrow-key-window-selector-git: https://aur.archlinux.org/packages.php?ID=50646 gnome-shell-extension-window-list: https://aur.archlinux.org/packages.php?ID=50721 Thanks
