[aur-requests] [PRQ#6757] Deletion Request for arduino-docs