Comments moved thither. Thanks!
Edit: er, moved again to https://news.ycombinator.com/item?id=50101813.