Hi @jtp , thanks! Yes, I saw your comments and tried those too, except the tornado part that you wrote a few minutes ago. However I’m not in a rush, I can try again when the final list of dependencies is agreed.
I tried reproducing the problem on another machine but couldn’t do it. It looks like applying the PR as it stands now, upgrading tornado, and then doing a jupyter lab build --minimize=False as you advised, left the hub in a working state. All good, I guess! Thanks for the help!