[tor-commits] [websocket/master] Raise buffering limit from 1500 to 8192 in websocket-transport.txt.