Well, in the last few days, I have been attempting to make use of web sockets more broadly thru out the site. Yesterday I released a new version of the site that makes use of them, when the browser supports it, for the remote desktop and remote terminal. If you notice any issues, please post a comment below. In general it seems to work ok, I am still working out all the kinks.
Quick update: I had to back-off using web sockets on Safari browsers including iOS because web sockets seems to be crashing the browser. So, it's back to AJAX HTTP for Safari just like IE. Firefox and Chrome seem to be powering thru with web sockets.
For more complete information about compiler optimizations, see our Optimization Notice.