User names can now be changed
You can now change your username on the leaderboard. (You might have to hit refresh on your browser window)
Your name is now highlighted in blue on the leaderboard. When you click on it, a dialog will pop up to allow you to change your user name.