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