Thanks - I just opened HN and saw the replies to the comment now and it does seem like it descended into unproductive discussion. I’m glad it was marked off-top

Thanks - I just opened HN and saw the replies to the comment now and it does seem like it descended into unproductive discussion. I’m glad it was marked off-topic and removed.