I followed some advice about posting to HN which basically says: keep posting. I also assumed that it's unlikely that the same people would read it, as new posts fade away so quickly. That was clearly the wrong assumption. Apologies for all that, I will post no more.