Bulk download now choses file extension between .zip and .pdf

src-ui/src/app/components/document-list/bulk-editor/bulk-editor.component.ts

@@ -518,7 +518,12 @@ export class BulkEditorComponent
       )
       .pipe(first())
       .subscribe((result: any) => {
-        saveAs(result, 'documents.zip')
+        saveAs(
+          result,
+          this.downloadForm.get('downloadAsSingleFile').value
+            ? 'documents.pdf'
+            : 'documents.zip'
+        )
         this.awaitingDownload = false
       })
   }