jupyter_server_terminals_proxy (pypi): A Jupyter Server Extension Proxying Terminals.
Keywords: ipython|jupyter