Fixed. That what I get by doing N things at the same time. Sorry about that, you can downvote me.

Thanks for this important work on jupyter! I edited my comment to keep focus on the topic.

NP, thank you for pointing out my mistake. It's a good feeling to see HN being nice.

Nice that I'm contributing to a nicer HN. I'm not Mr HN though, so maybe you got the wrong person? :)