The comment was posted from an IP that had been banned for previously spamming HN. We unkilled it and unbanned the IP, since this user is clearly legit and presumably unrelated to spam.