https://jupyter.org/ https://github.com/jupyter-server/jupyter_server_terminals/ https://pypi.org/project/jupyter-server-terminals/
