I noticed too late that it had already been posted: https://news.ycombinator.com/item?id=30932201