A non-working version of ESP-IDF websocket server taken from their official example and Arduino-based complementary code https://github.com/mo-thunderz/Esp32WifiPart2/tree/main/Arduino/ESP32WebserverWebsocketJson.
See discussion https://esp32.com/viewtopic.php?f=13&t=31456.