ESP32 remove webserver(?) debug output

[J-M-L]

There are multiple LWIP discussions probably on the forum - here is one for context

ESP8266 Arduino Core source code (LWIP etc.)

6v6gt: OK. Thanks. But then, where is the source of, just as an example, the following function: uint32_t sntp_update_delay_MS_rfc_not_less_than_15000() I see it is contained in (at least) liblwip.a but find no source. I then guess that it is a part which has not (yet) been replaced with open source software.