Previosly posted as <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10893301" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10893301</a>, but that eneded up in [ask] due to my mistake.