The JupyterLab 4.0 + jupyter_collaboration 1.0.0 release is huge!
🔥 Much faster UI
♻️ Revamped Real Time Collaboration
📘 Upgraded text editor
⚙️ A new extension manager
👁️ Search and Replace
Check out the official blog post for more! https://blog.jupyter.org/jupyterlab-4-0-is-here-388d05e03442