Planned for later this week.
cc @JamiesHQ
Fixed by https://github.com/jupyterlab/jupyterlab/commit/a703d1f03c02178855f292ca8cd7f6cded492479.
The Big Split took a bit longer than hoped, pushing this to Monday.
We caught a few more bugs while prepping for the release today, pushing to tomorrow.
Most helpful comment
Fixed by https://github.com/jupyterlab/jupyterlab/commit/a703d1f03c02178855f292ca8cd7f6cded492479.