plugins/irc: mangle usernames in !players output