This breaks the HN guideline about civility. That's the most important guideline, so please don't comment like this here. It wouldn't be hard to turn this post into a fine, substantive comment with a little cooling down and a little editing.

We detached this comment from https://news.ycombinator.com/item?id=12569256 and marked it off-topic.