15:30 <nickrw> any idea why a cinch bot might get the case wrong for a user?

15:31 <dominikh> define "get the case wrong"

15:31 <nickrw> e.g. User('kevin').nick # => "Kevin"

15:31 <nickrw> authname is lower case too

15:31 <dominikh> probably because the first time we saw kevin, he was Kevin

15:31 <dominikh> not sure if he's named Kevin and renames himself to kevin it updates; it should tho

15:31 <nickrw> ah, that wouldn't update with #refresh?

15:32 <dominikh> we don't update the nick on #refresh. technically nicks are case insensitive

15:32 <dominikh> and it's not an information we need to acquire; that's like using an ID to get the ID

15:33 <nickrw> I would expect an actual nick change updates it, but I suspect the user has disconnected and reconnected

15:33 <nickrw> thanks

15:34 <dominikh> is it really a problem?

15:35 <nickrw> nah, I just need to make the rest of my code handle names case insensitively

15:36 <dominikh> keep in mind that IRC defines different case maps

15:36 <dominikh> String#downcase will often not be the right thing

15:36 <nickrw> oh?

15:38 <dominikh> if you do need to work with strings instead of User objects, there's String#irc_{down,up}case, which take a `mapping` argument, which can be obtained via @bot.irc.isupport["CASEMAPPING"]