jupyter-shared-docprovider is a JupyterLab/Jupyter Notebook 7+ extension
integrating collaborative shared models.

The collaborative shared models are used for both:
- real time collaboration, and
- server-side execution of notebooks
