re: #164 Charles Johnson

You can, of course, see the person’s real username by clicking their icon.

As soon as you did that, you lost your highlighted name header on my machine (FF/Linux). Your previous comments are still in blue highlight.