Perhaps a point of clarification. I strongly doubt https://platformio.org/lib/show/256/WebSocketClient worked with simply copying those files from https://github.com/espressif/esp-idf/blob/master/components/esp_websocket_client/, since that library was for mbed, not either of the espressif frameworks, and simply adding those headers will not satisfiy the
#include "mbed.h" requirement!
Do you mean you got websockets working by using the espidf provided libraries? That library was added to the ESPIDF about two months ago, and was probably added too late to the last release cycle (was added about four days prior to the release) for it to make it into v3.2.2 of the ESPIDF.
btw, if you hadn’t already spotted it, you can filter the search results by framework (add
framework:espidf to the search)… but that still doesn’t help as there don’t seem to be any websocket libraryies on the PlatformIO registry for ESPIDF.