Turns out the connections are all sound, but there’s a stray earth wire that doesn’t look long enough to connect to anything (the other end is to the chassis). See photo.
The starter has been sluggish at times, but would work fine after a few tries. Last week it wouldn’t turn over at all. I just...