Investigate why document becomes out of sync when changed

[crcn]

trafficstars

If VSCode is running long enough, then the document becomes out of sync on save. I think what's happening is that WS is disconnecting, so the solution I think might be to reconnect WS. Might also want to look into a proper CRDT backend for syncing docs.