Nothing to do with your current repair, as it is another excellent and detailed job.
My question is, where did you get the additional ground wire, that's attached to the battery cable terminal. And where did you attach the other end.
I only have the obvious main cable, and the one to the right in the picture.
Appreciate all of your knowledge, and sharing the details.