(This was originally a reply to https://news.ycombinator.com/item?id=44461309, but we downweighted that subthread. Since this is a fine comment, I detached it so it wouldn't share the same fate.)