Yup. i'm in the process of merging the comments into https://news.ycombinator.com/item?id=40725329, which was posted first.

See also https://news.ycombinator.com/item?id=40734677 and maybe https://news.ycombinator.com/item?id=40734700.