Better name for our saner version of url-copy-file