[dang]

Would you please not post uncivilly to HN? Personal abrasiveness, which this comment veers into, is something to be avoided.

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