Hmm. Maybe instead of straight mention-notification, or the addition of a flag to the end, one could do something like <user name="@cheyinka">? (an @ will never show up in a username, after all...)