map file names in campaign

map file names in campaign

I have given a new name to my campaign (before Adventure of Heroes, now Destiny never Dies) but is there an easy way to rename the map files in the campaign? or is the only way to open all maps and saving them, then renaming then and put them in the campaign again? that would take long cuz there r 11 maps now (i know, the name of the map file is not visible when u play the campaign, but i just want everything perfect )

Why you want rename these files? For someone who exloring your campaing with editor? No need

i know theres no need ^^ but i have this annoying habit to do everything perfect even when no1 can c difference or anything, but if there is no easy way ill just skip it