We detached this subthread from https://news.ycombinator.com/item?id=35372444 - it's fine, but I'm trying to prune things so the thread isn't so top heavy.