Arduino IDE 安装 ESP32 开发板包失败？乐鑫官方国内源与 3.x 迁移要点

arduino-esp32 最新稳定版 3.3.12 在 Arduino IDE 开发板管理器中一次安装要拉约 1.9 GB、1,215 个工具地址里 1,195 个在 github.com，容易下载失败；乐鑫文档提供带 _cn 后缀的国内索引，把工具和核心包地址全换到 dl.espressif.cn。