HN comments for: What is a manifold?