[EXT] download_to_file uses a URL-inspired file name.