Pointed by the new CI job
This is how the RFC calls the protocol. Also rename the file in docs/ to WEBSOCKET.md in uppercase to match how we have done it for many other protocol docs in similar fashion. Add the WebSocket docs to the tarball. Closes #9496
Docs for the new send/recv functions synced with the committed versions of these. Closes #9470
Nothing else Closes #9459
Closes #8995
