Fix ydoc server_settings
usage example#1009
Draft
krassowski wants to merge 1 commit intojupyterlab:mainfrom
Draft
Fix ydoc `server_settings` usage example#1009krassowski wants to merge 1 commit intojupyterlab:mainfrom
krassowski wants to merge 1 commit intojupyterlab:mainfrom