Beim Tippen auf eine Erwähnung hat die Benutzerkarte dieselbe Großschreibung wie die Erwähnung

[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 https://meta.discourse.org/t/mentioning-a-name-with-incorrect-casing-still-works/81376?u=mcwumbly

[codinghorror (Jeff Atwood)]

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