So people can walk themselves through the demo https://github.com/jupyterlab/jupyterlab/issues/3173