Deakstadieđáhus: The metric theory of Banach manifolds