You can give a different filename when offering the file for download (see the old ISIC export controller). This code will not work in production by the way, since we use a different hash secret.