socket ID returned from socket(AF_INET, ....) in ESP32 does not start at 0

Hello @Wilberforce
Tried to compare your sdkConfig with actual and found tons of differences.
Most of them are new to or replaced in V3
There are some left, which could have been changed by you.
Could you please check this list, and mark those, which are changed by you
I would recommend, we build a sdkconfig.default for Espruino. This would make it easy to follow changes in esp-idf

CONFIG_ESPTOOLPY_COMPRESSED=y
CONFIG_ESP32_ENABLE_COREDUMP_TO_UART=y
CONFIG_ESP32_ENABLE_COREDUMP=y
CONFIG_ESP32_CORE_DUMP_UART_DELAY=0
CONFIG_ESP32_CORE_DUMP_LOG_LEVEL=1
CONFIG_ESP32_APPTRACE_DEST_NONE=y
CONFIG_NEWLIB_STDOUT_ADDCR=y
# CONFIG_INT_WDT=
CONFIG_ESP32_DEEP_SLEEP_WAKEUP_DELAY=0
CONFIG_WIFI_ENABLED=y
CONFIG_ESP32_WIFI_DYNAMIC_RX_BUFFER_NUM=0
CONFIG_FATFS_CODEPAGE_ASCII=y
CONFIG_FATFS_CODEPAGE=1
CONFIG_FATFS_MAX_LFN=255
CONFIG_FREERTOS_ASSERT_FAIL_PRINT_CONTINUE=y
CONFIG_FREERTOS_BREAK_ON_SCHEDULER_START_JTAG=y
CONFIG_LWIP_MAX_SOCKETS=10
CONFIG_LWIP_THREAD_LOCAL_STORAGE_INDEX=0
CONFIG_LWIP_SO_RCVBUF=y
CONFIG_LWIP_DHCP_DOES_ARP_CHECK=y
CONFIG_TCPIP_TASK_STACK_SIZE=2560
CONFIG_MBEDTLS_HARDWARE_SHA=y