Kids tend to see both the 'Download' and the 'Save' button and wonder which one they should use (and adults tend to be even more confused)
I think it would be good to be more explicit about the difference and make the 'save' feature to generate a python file slightly less on the 'fast path'. Here's a super-quick mockup to show intent.

Kids tend to see both the 'Download' and the 'Save' button and wonder which one they should use (and adults tend to be even more confused)
I think it would be good to be more explicit about the difference and make the 'save' feature to generate a python file slightly less on the 'fast path'. Here's a super-quick mockup to show intent.