How to download files from the server/how to delete files from the server

It's very simple! You select all files by clicking on this square.

Next, click on Archive and on the triplet and then click on Download.