Nope, my mistake. This was supposed to be an answer to this comment: https://news.ycombinator.com/item?id=8727049 https://news.ycombinator.com/item?id=8727049 o

Nope, my mistake. This was supposed to be an answer to this comment: https://news.ycombinator.com/item?id=8727049 https://news.ycombinator.com/item?id=8727049 on another thread. I was reading both and confused the tabs while clicking on reply, I guess.