[aur-requests] [PRQ#3803] Deletion Request for batmon