I've put that link in the top text - thanks!

Edit: looks like https://news.ycombinator.com/item?id=47692043 was posted earlier and is also on the frontpage so we'll merge thither instead.

Comments moved thither. Thanks!