Should the workshop evolve towards [Jupyter Lite](https://jupyter.org)? Can it? This would potentially reduce all dependencies on Docker/Binder.