[tor-commits] [websocket/master] Documentation updates.