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!