[tor-commits] [flashproxy/master] Increase max WebSocket message size from 2500 to 16384 bytes.