Follow-up to https://github.com/zed-industries/extensions/pull/4397 Release Notes: - N/A
download_file