(detached from https://news.ycombinator.com/item?id=43116685 so I can pin the latter to the top. nothing wrong with saying thanks of course!)