It was mentioned in another comment thread[0] this morning. These things happen[1]. [0]: https://news.ycombinator.com/item?id=37199307 https://news.ycombinator

It was mentioned in another comment thread[0] this morning. These things happen[1]. [0]: https://news.ycombinator.com/item?id=37199307 https://news.ycombinator.com/item?id=37199307 [1]: https://news.ycombinator.com/item?id=32795559 https://news.ycombinator.com/item?id=32795559