Possible bug in commit markdown?

[pavel_budo]

Good day.
Seems like a bug, When in commit descriptions there is a keyword `@todo`, it's rendered as `@Toon Robeyns` which confuses.

[Nic Brough -Adaptavist- · Accepted solution]

@ is being used for "mention", and you have a user who's login is "todo". 

It feels like an arguable bug - some people will want mentions, but some of your users may have keyword-like logins which will mess it up if mentions are enabled.  I'm not sure which way to jump (but to fix this one case while there's no solution, I'd get Toon Robeyns to change their username)