fn write_whole(path: &Path, text: &str) -> Result<(), String>
Written whole under another name, then renamed: never half a file.