[tor-commits] [flashproxy/master] Remove "WebSocket" prefix from types.