Thanks for this. I've been running separate instances of jupyter on different ports. This is more elegant.