However my expectations of HN are that, total, he shouldn't be downvoted for that comment. And indeed, he currently isn't.
I'm glad his downvoting was temporary.