Thanks for the suggestions - we'll definitely add those to the dev list. Also, the GitHub is https://github.com/lotas-ai/erdos https://github.com/lotas-ai/erdos

Thanks for the suggestions - we'll definitely add those to the dev list. Also, the GitHub is https://github.com/lotas-ai/erdos https://github.com/lotas-ai/erdos (and it's on the download page but a bit small).