I wanted to write it under https://news.ycombinator.com/item?id=11030593 https://news.ycombinator.com/item?id=11030593, but posted in in a different tab. Sorry

I wanted to write it under https://news.ycombinator.com/item?id=11030593 https://news.ycombinator.com/item?id=11030593, but posted in in a different tab. Sorry for that.