Well... It seems I was wrong. Been out and traced the wiring and it appears that
1. The positive wire is thicker than I thought (I think it only has a single layer of insulation)
2. The positive wires from main and secondary batteries seem to join at the starter motor solenoid
Here's a (slightly fuzzy - the camera always wanted to focus on something else) photo:

The place where they join is arrowed (or would be if I could work out how to put an arrowhead on a line in Photobucket!). The cable coming towards the camera goes to the main battery, and the cable going away out of the same connector tube goes to the positive of the second battery.
Does anyone recognise that type of starter solenoid? It ~looks~ as though the two battery positives are at two ends of the same cable, and that this connector is crimped or soldered in between. In which case I was wrong - it's a second battery, always connected to the main one.
Anyone care to agree or disagree???