As an aside, I am always happy to see this type of discourse, HN is such a rare place. A discussion about a topic with lots of division and when people disagree, they are friendly and reasonable about it. Kudos to both of you.