Added "Highlight User" feature to comments.

A link is added next to "source" on all comments, which allows all
comments written by the same author to be highlighted.