Thanks! We merged the threads into https://news.ycombinator.com/item?id=37513791 (via https://news.ycombinator.com/item?id=37986610).