Add
https://github.com/jupyterlab/jupyterlab/pull/16656