Pātuhitia tēnei: The metric theory of Banach manifolds