(We detached this subthread from https://news.ycombinator.com/item?id=47514723 so it wouldn't go down with that ship)