esp32: please use `0.adafruit.pool.ntp.org` as the sntp server name.

[jepler]

this name has been allocated for use by adafruit. As far as I could tell by inspecting the source code we are using the default in esp-idf which is probably not appropriate per The NTP Pool for vendors:

Do not use the standard pool.ntp.org names as a default configuration in your system. The NTP Pool can offer services for you, but it must be setup in advance (see below).

components/lwip/port/esp32/include/lwipopts.h
1072: * \#define SNTP_SERVER_ADDRESS "pool.ntp.org"

[jepler]

This was mistaken, because esp32 does not currently set the network time automatically or verify certificate time validity. https://expired.baddsl.com loads without complaint.