DownloadFileOptions extends HttpOptions, so it has all the properties HttpOptions have plus the specific ones from DownloadFileOptions.
But there is a problem with the docs generator that don’t show the properties from the extended object.
You can check HttpOptions properties here Http Capacitor Plugin API | Capacitor Documentation