[dang]

We detached this subthread from https://news.ycombinator.com/item?id=38122190. (Nothing wrong with your comment, I just want to save space at the top of the page.)