Slightly improved documentation of the websocket library