Comment by paganel

Thanks for the link. I refresh the HN front-page quite frequently (too frequent, I would say) but somehow I had missed that entry.