Is there any way to change a captain's name in an existing game? I know its possible to edit the name pools, but I don't want to mix in new options for random names. I'd like to be able to nickname my captains or something. However, as far as I can tell the save files are not editable in Notepad++ and there is no console option.