Push rather than poll?

I'm wondering whether the use of a web socket has been considered (so that rather than the browser polling for changes, the server could push them as needed).

I'm mainly asking because out of the box, a server will get pummelled a fair bit if there are too many clients at the same time. Varnish etc can of course mitigate that but ...

Oh, and lest I forget to say it later: Thanks for the module!