This is embarrassingly wrong, linked the wrong comment. Meant this one: https://news.ycombinator.com/item?id=38699883 https://news.ycombinator.com/item?id=386

This is embarrassingly wrong, linked the wrong comment. Meant this one: https://news.ycombinator.com/item?id=38699883 https://news.ycombinator.com/item?id=38699883 Which was hidden because the parent was flagged, I guess for being petty.