To fix the broken "zip" export
"Creating ZIP" for several minutes, then back to "Download ZIP" without download.
Same behaviour on various browsers and OS.
The ZIP export issues from earlier this week should be fixed now. Please let us know if you still experience any issues.