Save button is confusing

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.