Thanks for the suggest. I&#x27;ve put it here: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10891574" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10891574</a> . I don&#x27;t know if I should delete this thread?