Thanks - we've since merged the comments hither, since this submitter had the original source.

Submitters: "Please submit the original source. If a post reports on something found on another site, submit the latter." - https://news.ycombinator.com/newsguidelines.html

(the parent was originally posted to https://news.ycombinator.com/item?id=37753079)