Hi, that is only if the game would be installed. Look where you unzipped the game, find saves, right click on your save, copy, then paste, now you have a backup.
open the orginal, takes a while, ctrl F, type in bots name, rename your bot KatherineOfSky or Jake. save, open your game, load game. etc you are done ;-)
I even did a test when the game was running. after changing your names, save the text file. go into the game and press esc, then load, then reload yoursavefile, names are updated!
Greets from Holland,
Jake.