Expand my Community achievements bar.

The Community Ideas review for H1 2025 is out now, see which ideas our Product team prioritized and let us know your thoughts.

Downloading all attached files

Avatar

Level 2

6/23/19

We sometimes attach many files to the comments of a proof.

I would like to download all of them at once.