Cool, agreed :)

Re-pushed as 9f91034, which always tries to delete the file. Gonna go ahead and merge this one given the simplicity of it.