12.5.1 Where can I change the name of the human player?

Go to the menu Settings-> Players.... and click on Player 1. At the top there is a field to change the human player's name.