https://blog.jupyter.org/posts/2025/real-time-collaboration-and-collaborative-editing-for/