Fixed websocket.js to only typeset the most recent message
Update to-do