Comments moved thither. Thanks!

(a bit of explanation here: https://news.ycombinator.com/item?id=30015301)