[gull]

Thank you for this. I hadn't realized there is a difference between downvoting and flagging comments until I read your post. I hope other HN users know of this difference.