I previously posted this at https://news.ycombinator.com/item?id=36071933 I'm not sure why it didn't deduplicate.