`[File].$download()`