arduinoWebSockets is in the Arduino Library manager and platform IO :)

[Links2004]

Hi,

short info, the arduinoWebSockets can be found in the Arduino Library manager and on platformIO.

https://platformio.org/lib/show/549/WebSockets
https://www.arduinolibraries.info/libraries/web-sockets