> realtime collaboration, ... having a very high-resolution history of edits
It's my understanding that JupyterLab doesn't support concurrent editing or version control, unless these are baked into this extension?
It's my understanding that JupyterLab doesn't support concurrent editing or version control, unless these are baked into this extension?