i.e. how do you tag a user "@<user>" so that it's highlighted in orange.
It's not possible to tag someone currently, maybe something for the future.
Currently tagging the usernames is only done automatically when you reply to their comment, after a certain amount of replies are made in that particular thread.
Ah. I wondered about that since I saw it on ozbargain. User base and activity is a lot higher obviously