Comments moved to https://news.ycombinator.com/item?id=47855293, which was posted first.

(Sorry! we'll eventually aggregate these so multiple submitters can share in the karma.)