[dang]

Please don't repost comments like this—it makes merging threads a pain. I've moved the replies to https://news.ycombinator.com/item?id=40773909 now as part of merging the threads.

One helpful thing people can do is let us know at [e-mail] that there are threads that need merging. That's how I found out about all these ones.