This is a good idea, although IMO source control, compute, and MLOps integration are bigger but less flashy pain points for data scientists than AI in notebooks.
If you're going to market Erdos as open source, then IMO there should be a github link somewhere on your website.
Thanks for the suggestions - we'll definitely add those to the dev list. Also, the GitHub is https://github.com/lotas-ai/erdos (and it's on the download page but a bit small).
Will echo that one thing that would prevent me from trying this is def the source control. Otherwise it does look pretty slick!