Mac OS X Remote desktop client 10.7.2 and .3 cannot use websockets for gateway connections

The last two versions of the remote desktop client cannot use websockets for connections over a remote desktop gateway. Dissecting with Wireshark shows that the "upgrade" part of the protocol is not ...