Rename websocket.html to test_websocket.html