Hello, I'm the maintainer for the gnome-shell-theme-gsmall package [1], the source files have been removed and the theme seems discontinued. I'd like to have the package deleted. Thanks [1] https://aur.archlinux.org/packages.php?ID=52012