Test and recommend jupyter-collaboration plugin

[redeboer]

Since Jupyter Lab v4, it is possible to work together in Jupyter Lab. To do this online on different machines, one needs to:

pip install jupyter-collaboration

and start a collaborative Jupyter Lab session:

jupyter lab --collaborative

To get others to work within the session on a different machine, start the collaborative session from VSCode and run a Live Share session, which will share the Jupyter Lab ports.

Some preventing issues for now:

• jupyterlab-code-formatter does not format on save anymore when jupyter-collaboration is installed
• (apparently) notebooks are sometimes completely empty after they are saved