Took me a second to figure out what you were getting at, but I'd say just leave it as is.
Usually the only time somebody says @somebodysname, it's to reply to them, or quote something they said in some way or another.
But with the tagging feature, it makes it all the easier for them to see your comment.
I'll say no on this one, and vote to keep it as it is now, without the semicolon
i'm gunna have to say to leave it the way it is, the only problem i can see it messing with someone's email addy is if they have it at their UN.com like- [email protected](you need an account to see links).com, i don't see that happening often though, lol
but i like it when i come online, and someone mentions my name in a erious way on a thread, it's a nice warm welcome, imo anyways
and it's probably good to be tagging people, and they get the message about it, so they can go see what was read about them, and throw their voice out in the masses
just report it and ignore it.