Unfortunately, this is one of those situations when the manual doesn't tell you how to remove it. It just tells you to remove it. See attached. Which means they just figured the mechanic would figure it out.
It has been a while since I did this but from what I remember, I use a swivel socket and air ratchet to get it off. I included the OEM part number for the battery cable but they are normally 6 gauge wire size if you would like to build your own.
Let me know if you have questions and we can go from there.
Images (Click to enlarge)
Thursday, April 2nd, 2020 AT 2:41 PM