[skip changelog] Correct configuration key name in documentation#2903

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

per1234:correct-config-keyper1234/arduino-cli:correct-config-keyCopy head branch name to clipboard