[aur-requests] [PRQ#36851] Merge Request for arduino-pro-ide