I ran into an issue with a fairly-new team today where some user mentions weren't being displayed properly. It turns out that, at least on this team, some identifiers start with "U1" instead of "U0". I couldn't determine whether U0 and U1 are the only possibilities, so I decided to expand this to accept any digit (although I'm not sure if the second character strictly needs to be numeric, for that matter).
I ran into an issue with a fairly-new team today where some user mentions weren't being displayed properly. It turns out that, at least on this team, some identifiers start with "U1" instead of "U0". I couldn't determine whether U0 and U1 are the only possibilities, so I decided to expand this to accept any digit (although I'm not sure if the second character strictly needs to be numeric, for that matter).