Next-generation user interface for Project Jupyter
