[aur-requests] [PRQ#22129] Deletion Request for mangatux Accepted