[aur-requests] [PRQ#10017] Deletion Request for micro