Thanks @betatim ! I’m not that much interested in micro-optimisations, I was mostly wondering if it’s even worth it in the first place ;-).
I’m learning about docker in the process and just pushed an image here: https://hub.docker.com/r/fmaussion/oggm-edu-r2d-pip
The binder files are here: https://github.com/OGGM/oggm-edu-r2d-pip
My goal now is to use this base image for the set-up we discussed here: Repo2Docker: make it easy to start from arbitrary docker image