Some, hopefully, helpful additions to the standard WebSocket