To download a file, just click on the preferred file format on the right.
With the search function you can precisely limit the shown files.