Resumen

El botón de descarga roto ha estado roto durante un tiempo. Pero hay una solución para descargar los archivos como solía hacerse. Cuando veas lo que quieres descargar, solo haz doble clic en la barra de direcciones, y verás /files resaltado. Cambia /files a /zip y presiona enter. Deberías ver todos los archivos en una carpeta zip.