[aur-requests] [PRQ#21485] Deletion Request for arduino-pro-ide-latest