[aur-requests] [PRQ#12801] Deletion Request for root-extra-dev

kgizdov [1] filed a deletion request for root-extra-dev [2]: the software no longer comes in this variant - deprecated. [1] https://aur.archlinux.org/account/kgizdov/ [2] https://aur.archlinux.org/pkgbase/root-extra-dev/