Natively WordPress doesn’t offer the possibility to download files directly from the WordPress media library. With that simple extension you can download any files you need!