A Jupyter Server Extension Providing Terminals
