Can't download zip from p5.js web editor

I tried pressing download from the file menu of this sketch:

This link opens in a new tab but nothing downloads:

https://editor.p5js.org/editor/projects/BgGgw6QZN/zip