in the top left, there are 3 dots in the file menu and you can click to download as zip