Thanks! It's always best to submit the original source (this is in the site guidelines: https://news.ycombinator.com/newsguidelines.html).

I've merged the other comment that was here into https://news.ycombinator.com/item?id=49839567.