Hacker News Reader

In your profile you can set an option to "show dead" - this shows hellbanned users.

I just turned this on. What differentiates these comments from others? Do usernames show up in a different color or something like that?