Renamed websockets.txt to ws.txt in anticipation of the state machine spec