jupyter-collaboration-ui is a JupyterLab/Jupyter Notebook 7+ extension providing
user interface integration for real time collaboration.