[skip changelog] Document Arduino CLI support for global platform.txt, and all recognized paths#2952

alessio-perugini merged 1 commit intoarduino:masterarduino/arduino-cli:masterfrom

per1234:update-global-platform.txt-docsper1234/arduino-cli:update-global-platform.txt-docsCopy head branch name to clipboard