JupyterLab developer, working towards better scientific IDEs