https://blog.jupyter.org/posts/2021/how-we-made-jupyter-notebooks-collaborative-with-yjs/