edit.py now uses tempfile.