SunRed [1] filed a deletion request for gnome-terminal-dark-variant [2]: gnome-terminal 3.20 now includes a dark theme switch what makes this package redundant.
[1] https://aur.archlinux.org/account/SunRed/ [2] https://aur.archlinux.org/pkgbase/gnome-terminal-dark-variant/
