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://news.ycombi

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://news.ycombinator.com/item?id=46055863 https://news.ycombinator.com/item?id=46055863