We detached this subthread from https://news.ycombinator.com/item?id=14087236 https://news.ycombinator.com/item?id=14087236 and marked it off-topic since the gu

We detached this subthread from https://news.ycombinator.com/item?id=14087236 https://news.ycombinator.com/item?id=14087236 and marked it off-topic since the guidelines ask us not to do this.