I commented about this at <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10179203" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10179203</a>, though it isn&#x27;t a complete answer.