JupyterLab Real-Time Collaboration is a Jupyter Server Extension and JupyterLab
extensions providing support for Y documents and adding collaboration UI
elements in JupyterLab.