[skip changelog] Document the programmers system of Arduino platforms#925

per1234 merged 4 commits intoarduino:masterarduino/arduino-cli:masterfrom

per1234:document-programmers_txtCopy head branch name to clipboard