SolutionChanging the name of the *.pk3 (or any *.pk* file) is the same as for any other type of file (for PC). Simply
right-click and select "
Rename", or
left-click twice, with a slight pause between the two clicks, to highlight the name for editing. Retype a new name and press "
Return"/"
Enter".
Further information on making PK3 files can be found here.