These should probably be merged: https://news.ycombinator.com/item?id=30688208 https://news.ycombinator.com/item?id=30688208 https://news.ycombinator.com/item

These should probably be merged: https://news.ycombinator.com/item?id=30688208 https://news.ycombinator.com/item?id=30688208 https://news.ycombinator.com/item?id=30689024 https://news.ycombinator.com/item?id=30689024