When tapping on a mention, the usercard has the same capitalization as the mention

[Nindroid (nobody)]

Hi. Not a very major bug, but when you tap on a mention, the usercard has the same capitalization. So, for example, @nindroid and @NINDROID are both @Nindroid, but the usercard displays different capitalization for them both.

Not really a problem, but something that’s kind of annoying.

[mcwumbly (Dave McClure)]

seems like a dupe of Mentioning a name with incorrect casing still works?

[codinghorror (Jeff Atwood)]

Legitimate but so very very minor and also “don’t do that”