Is there a way to tag a user in a comment such that the user will receive a notification that s/he's been tagged?
I don't think there is, but you can crudely fake it by writing the comment as usual, then sending a private message to the relevant user with a link to the comment.
Previous thread
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one.
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.