FredBezies [1] filed a deletion request for burg-themes-extras [2]: Based on a not available "dead" clone of grub. [1] https://aur.archlinux.org/account/FredBezies/ [2] https://aur.archlinux.org/pkgbase/burg-themes-extras/