py-jupyter_server_terminals is a stub port
