Steven Silvester

Hi @randomir, this seems like a reasonable change to me. @afshin, since you made the original change, do you agree?

This seems like a big job. `zgossip` is a class in czmq and does not have a counterpart in pyzmq. The protocol is defined here: https://github.com/zeromq/czmq/blob/master/src/zgossip.xml

Yes, that is correct. Thanks @juliangilbey!

Makes sense to me, would you like to submit a PR?

> I feel that the current way to integrate more and more external extensions into the default distribution has its limits. Yes, we will need a clear strategy about what...

Another data point: https://www.jetbrains.com/lp/python-developers-survey-2019/

The "Tools and features for Python development" section of the above survey has a lot of overlap with our 2015 UX Survey results.

Also, thanks for putting that together @matthew-brett!

https://github.com/jupyter/terminado/pull/127 may have fixed this behavior

Closing this tracking issue, the last item is tracked in https://github.com/jupyter-server/jupyter_server/issues/1166