Does anyone know where the official Arduino package_index.json file is maintained?
I have searched in the arduino/arduino-ide and arduino/arduino-cli GitHub repositories but couldn't find this file. This makes me curious about its update and maintenance mechanism. Is there a dedicated repository, or an internal process managed by the Arduino team to decide which third-party development boards can be included?
Understanding this mechanism might help understand from the source why ESP32 was added, and whether this is a long-term strategy.