These should probably be merged:<p><a href="https://news.ycombinator.com/item?id=30688208" rel="nofollow">https://news.ycombinator.com/item?id=30688208</a><p><a href="https://news.ycombinator.com/item?id=30689024" rel="nofollow">https://news.ycombinator.com/item?id=30689024</a>