Mostly stylistic changes to `redcap_download_file()`