Currently exporting profiles always results in the filename "profile.zip". It would be better to use the name of the profile and possibly a timestamp.

Examples:

"My_Awesome_Strategy.zip"

"My_Awesome_Strategy_20210405_154901.zip"