  We revisit the questions of density of smooth functions, and differential
forms, in Sobolev spaces on Riemannian manifolds. We carefully show equivalence
of weak covariant derivatives to weak partial derivatives.
