Does `f.delete()` not imply "move" rather than "copy"?