Comments moved to <a href="https://news.ycombinator.com/item?id=20317669" rel="nofollow">https://news.ycombinator.com/item?id=20317669</a>, which was posted earlier. (It doesn't look like it from the timestamps, but that's explained at <a href="https://news.ycombinator.com/item?id=19774614" rel="nofollow">https://news.ycombinator.com/item?id=19774614</a>)