[dnanian]

That's right -- first, they change to the folder where the file is. Then, the file is copied to a new name. If that succeeds, the original is deleted, and the copy is renamed to the original name.

(Sorry, I should have said exactly what each command did.)