Keeping a list of potentially relevant upstream PRs in JupyterLab: - https://github.com/jupyterlab/jupyterlab/pull/16519