Thanks very much for the speedy feedback, @carreau!
Seem like a bug
Cool. Looking around on JupyterLab’s GitHub it seems this has already been brought up 5 days ago on Issue #9729
So I’ll mark this topic as resolved and then follow up on the Issue.
