Request #2456 has been rejected by arojas [1]: gnome-shell-theme-foo sound more correct than gnome-shell-themes-foo, so I merged the other one in this one [1] https://aur.archlinux.org/account/arojas/