New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/50105#issuecomment-2098984232 Comment: Sounds good. I think it's possbile with 4.2.0 but it requires `jupyter-collaboration >=2.0` and `jupyverse >=0.4.0`, if I understand https://github.com/jupyterlab/jupyterlab/pull/15448 Let's revisit this later.