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