{"library":"jupyter-server-ydoc","install":[{"cmd":"pip install jupyter-server-ydoc","imports":["from jupyter_server_ydoc.extension import YDocExtension"]}]}