I can see it on your response (and it was what I was looking for) but I see no sign of it in the posts to this thread  <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10093590" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10093590</a>