Small update for USER-MANIFOLD docs.
(cherry picked from commit d188bdbd861013bfd4c4c8ba1b6b4c3df960b89b)