[aur-requests] [PRQ#16064] Deletion Request for dex-protecto-git