I've put that link in the top text - thanks! Edit: looks like https://news.ycombinator.com/item?id=47692043 https://news.ycombinator.com/item?id=47692043 was p

I've put that link in the top text - thanks! Edit: looks like https://news.ycombinator.com/item?id=47692043 https://news.ycombinator.com/item?id=47692043 was posted earlier and is also on the frontpage so we'll merge thither instead.