Add optional file ID to document state#198

davidbrochart wants to merge 1 commit intojupyter-server:mainjupyter-server/jupyter_ydoc:mainfrom

davidbrochart:fileIddavidbrochart/jupyter_ydoc:fileIdCopy head branch name to clipboard