WebSockets for deployment . . . better user feedback for #30.