I've detached this subthread from https://news.ycombinator.com/item?id=35454781 and moved it to the top level (just for technical reasons - the first page of the thread is currently too comment-heavy).