Thanks! That one had only one comment (a good one though - https://news.ycombinator.com/item?id=9700322 https://news.ycombinator.com/item?id=9700322) so I merge

Thanks! That one had only one comment (a good one though - https://news.ycombinator.com/item?id=9700322 https://news.ycombinator.com/item?id=9700322) so I merged it into https://news.ycombinator.com/item?id=9698870 https://news.ycombinator.com/item?id=9698870. (and yes, updated the comment count above)