Background: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10663026" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10663026</a>.<p>Interesting that this was posted here 6 months ago but was overlooked: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9707636" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9707636</a>.