Forums → News and Feedback → Not all mentions are highlighted

It's nothing important, but I realized that typing, say [@Username9034 doesn't highlight the text, but it does arrive in Username9034's mail. Bit confusing but pretty neat nonetheless.