Thanks! I made a copy of your comment in the other thread (https://news.ycombinator.com/item?id=43526470) so your account gets the karma for it. I hope that's ok!