Thanks for the link. I had missed the other two submissions.

If any admin is around, they should probably be merged. This is the other one: https://hackernews.hn/item?id=46055863