Please stick to email rather than posting replies like this. (If everyone did it, the threads would become unreadable, and if only a few are doing it, that's not really fair.)

We detached this subthread from https://news.ycombinator.com/item?id=42301300.