dctxmei [1] filed a request to merge grub-theme-tela-git [2] into grub-themes-git [3]: It has been replaced by a better one. [1] https://aur.archlinux.org/account/dctxmei/ [2] https://aur.archlinux.org/pkgbase/grub-theme-tela-git/ [3] https://aur.archlinux.org/pkgbase/grub-themes-git/