If the websocket disconnects now, the end user has to do a refresh of the page. Once #77, #78, #79 get merged, we can detect these disconnects and try to reconnect.
