If you include an "@" before someone's username in the comments on a Pen, it will link to that user. Just a little thing that has become a convention across the internet since Twitter first did it.

comments

Would you like to get notified if someone mentions you in a comment this way? Any other thoughts?