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

FabioLolix [1] filed a request to merge arduino-pro-ide [2] into arduino-ide-beta-bin [3]: Superseeded by arduino-ide, disguised -bin pkgbuild, from the archived github page "This repository was used to collect feedback about the alpha releases of the Arduino Pro IDE. As of March 1st, 2021 the Pro IDE became open source under the name of Arduino IDE 2.0. Its development is hosted in a new repository located at https://github.com/arduino/arduino-ide" [1] https://aur.archlinux.org/account/FabioLolix/ [2] https://aur.archlinux.org/pkgbase/arduino-pro-ide/ [3] https://aur.archlinux.org/pkgbase/arduino-ide-beta-bin/