The Wayback Machine - https://web.archive.org/web/20221206184936/https://arduino.github.io/arduino-cli/latest/commands/arduino-cli_config/