Listing a couple of items to check when updating to the next JupyterLab 4.0 pre-release: - [ ] Revert https://github.com/jupyter/notebook/pull/6499 - [ ] Check CodeMirror 6 - [ ] Add `lsp-extension`