Earlier on a different url: https://news.ycombinator.com/item?id=47522129
Oops, thanks. Not sure why the URL duplicate check didn't catch this.