@dang: https://news.ycombinator.com/item?id=38947580 https://news.ycombinator.com/item?id=38947580 Can we get a merge? There is a lot of discussion in this oth

@dang: https://news.ycombinator.com/item?id=38947580 https://news.ycombinator.com/item?id=38947580 Can we get a merge? There is a lot of discussion in this other topic.