We detached this subthread from https://news.ycombinator.com/item?id=29015869 (there's nothing wrong with it, I'm just pruning the thread, which got too top-heavy on the page.)