Ya podemos descargar todos nuestros documentos de Google Docs a la vez, en un único archivo zip y decidiendo el formato en el que los queremos. Estupendo.