All: don't miss that there are now multiple pages of comments in this thread. To get there, click 'More' at the bottom of the earlier pages. Or like this:

https://news.ycombinator.com/item?id=25033844&p=2

https://news.ycombinator.com/item?id=25033844&p=3

https://news.ycombinator.com/item?id=25033844&p=4

(Once we've rolled out some long-suffering performance improvements, all of this should blissfully disappear, including this sort of comment. Thanks for your patience.)