Anyone remember seeing the occasional "(Score: 5, Troll)" comment, which only happened when a comment got downvoted as "Troll" and then upvoted as "Underrated"

Anyone remember seeing the occasional "(Score: 5, Troll)" comment, which only happened when a comment got downvoted as "Troll" and then upvoted as "Underrated" (which didn't change the "tag")? I had a few of those. I was more proud of my "(Score: -1, Insightful)" though.