[skip changelog] Update all mentions of Arduino Pro IDE#1966

per1234 merged 1 commit intoarduino:masterarduino/arduino-cli:masterfrom

per1234:update-pro-ide-mentionsCopy head branch name to clipboard