It works with both mentions for me.
I think this is related Missing capitalisation in username on usercard opened from message participants
On user card the username is case sensitive. I think it push the mentioned username to the user card.
I don’t think that the user called
BenDover would agree with you
Why not always match the username? So beNdOVeR would become BenDover.
Because these are two different usernames maybe?
No, usernames on Discourse are case aware but not case sensitive.
UsEr Are the same user.
I am putting #pr-welcome on this.
When you click @sAm you should probably see
sam in the user card … not
It is very minor, has very little user impact, probably an easy fix to correct it after the card loads all the data from the server.
I opened a PR for this: