This looks pretty slick, will have to see which parts/ideas we should copy for https://mybinder.org https://mybinder.org. Which is an open-source project that l

This looks pretty slick, will have to see which parts/ideas we should copy for https://mybinder.org https://mybinder.org. Which is an open-source project that lets you do something very similar, mostly based around people wanting to share notebooks. Colab but with automatically detected environment/build instructions.