I will violate HN guidelines by tiredly pointing out that while my comment was downvoted (no problem with that), it was downvoted without rebuttal. Not very helpful.