History colobot--do-not-translate-default-player-name.patch