[fixed] Setting player name on first game: outdated instructions

[jammyjamjamman]

Sorry to bother on this topic again, but I've just noticed a problem. 
In the warning box, there's instructions for changing your player name in the 3.7.1 options menu interface so the instructions aren't applicable to the svn head menu:

main menu -> options (top right hand corner)

Also the warning works nicely. (should have mentioned this earlier  )

[tomreyn]

Thanks, that's [fixed] in r4396.