Previous discussion (from one month ago) on the referred article with discovery of the bug:<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10598065" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10598065</a>