OK, we've moved your comment (https://news.ycombinator.com/item?id=12137751) to the parent comment you were quoting from, and will detach this one so it doesn't distract from the discussion.