Yeah, you might get something from it. Some build params are there as well.

I gotta get back to the PCA9685 or forget what I was doing before this side trip.

Sorry, I did not give you

You're right. My mistake. I have it in my notes but I'm not sure where it came from, but it wasn't you.

I previously tried to follow the boards.txt file didn't get very far. Your explanation should help me better decode it.

https://espressif.github.io/arduino-esp32/package_esp32_index.json

NOT

https://downloads.arduino.cc/packages/package_index.json

as you said.

https://downloads.arduino.cc/packages/package_index.json

 

that I know of, my boards entry is 

https://espressif.github.io/arduino-esp32/package_esp32_index.json

https://espressif.github.io/arduino-esp32/package_esp32_index.json

Notice it starts with https://espressif, that should be fairly clear. Then notice in the middle it says arduino-esp32 this may be confusing, but what it signifies is this is the arduino compatible version of the espressif esp32 board data (1,141 references to Zigbee).

Check out the following https://espressif.github.io/arduino-esp32/

and the following https://github.com/espressif/arduino-esp32 now notice the entry boards.txt 5 files from the bottom last updated 'last week'. Click that boards.txt link, now on the right side click RAW. You are now looking at the actual boards data. If I search for the Generic dev board using this exact string 'ESP32 Dev Module' you should recognize the tools menu data and just before the end is this

esp32.menu.ZigbeeMode.default=Disabled
esp32.menu.ZigbeeMode.default.build.zigbee_mode=
esp32.menu.ZigbeeMode.default.build.zigbee_libs=
esp32.menu.ZigbeeMode.zczr=Zigbee ZCZR (coordinator/router)
esp32.menu.ZigbeeMode.zczr.build.zigbee_mode=-DZIGBEE_MODE_ZCZR
esp32.menu.ZigbeeMode.zczr.build.zigbee_libs=-lesp_zb_api_zczr -lesp_zb_cli_command -lzboss_stack.zczr -lzboss_port

I am not sure if I can explain the relationship correctly, but the esp32 and a few other (maybe all) Espressif boards as well as some Pi boards and maybe more all are collectively known as 'Arduino when it comes to the IDE'. I am not sure I explained that well, but at the risk of some wordsmith contradicting me it's all one big family called Arduino. 

I hope that helps.

BTW, what is the URL you thought (and maybe is) was the 'official' URL?

What are these?

 Espressif URL with the Arduino URL

My original URL was from Espressif

https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json

which you tell me is a beta site.

The other is the URL you gave me

https://downloads.arduino.cc/packages/package_index.json

which is clearly an Arduino site.

 Espressif URL with the Arduino URL

Which one is that so I can test it as well in order to determine if it's the sketch or your environment.

No need.

Clearing the cache corrected it.

And I replaced the Espressif URL with the Arduino URL so i won't hit it again for a while at least.

Thanks again.