Handle disconnected user backend sync issue for ydoc

[CJianzhi]

If user is disconnected but they made changes to the editor, the local ydoc state will not be in sync with the backend ydoc