it seems https://news.ycombinator.com/item?id=35270720 https://news.ycombinator.com/item?id=35270720 has won out and I don't have the energy to email hn@ about

it seems https://news.ycombinator.com/item?id=35270720 https://news.ycombinator.com/item?id=35270720 has won out and I don't have the energy to email hn@ about merging the threads