Add a comment here about how you don't have to do this if you use the python -c $(curl...) script.