Which board in Arduino IDE to select for AZDelivery ESP-32 Dev Kit C V4

[Ballscrewbob]

Some alternate ESP cores may simply use ESP32 DEV.

It has been some time since I last used an ESP32 and IIRC I had a couple of issues getting the correct core for it.
Pretty sure I also ended up with the DEV version.