I was made aware of this today (and have since reproduced it):
When you join the Internet lobby and chat a little on IRC, then head to the options menu and change your player name, then return to the lobby chat and chat there again, your updated player name will display correctly on chat. But only for you. Everyone else sees your old player name, and your old player name also shows up on the list of connected players.
This is probably caused by IRC connection caching. I guess this needs to be reset (i.e. you need to run /nick with a newly generated IRC nickname based on your new player name) when you enter the lobby after a player name change (or rather editing your player name in options should trigger an IRC disconnect, this may be easier to program).
