Comments moved to https://news.ycombinator.com/item?id=49543220, which was posted a bit earlier
(this is my crude attempt at karma sharing - I hope that's ok with you!)
(this is my crude attempt at karma sharing - I hope that's ok with you!)
I could have sworn that the second posting was automatically collapsed into the first.