This page attempts to derive the Riemann Curvature Tensor using a slightly more sophisticated methodology.
My understanding of this methodology is imperfect
I am going to plow ahead without using the formal definition of the covariant derivative, then see where it ends up.