Correct link to WebSocket extension