Proposal: make smooth-manifolds a synonym of manifolds. In theory, there is a distinction between these tags, with smooth-manifolds referring to just differentiable manifolds and manifolds also including topological manifolds. In practice, the distinction does not matter for many questions and ...