I'm always a little extra-wary when it comes to wiring, but the "hotwire blue to battery-positive" made the most sense to me, so I went with it.
I reused the blue wire coming out of the original charging port and connected it directly to the positive terminal on the battery, and plugged it...