Pushed to master as:
0afc996fa9 * master origin/master gnu: Remove python-jupyter-protocol.
55344d4edf * gnu: Remove python-jupyter-kernel-mgmt.

--
Oleg