py-jupyter_core is a stub port
