Okay, I finally located some 7mm hex head tools. The first was in a pack of ignition wrenches, but swinging this around the ground bolt looked like it would get perhaps uncomfortably close to the blitzenwerke battery positive electrode. So then I found a 7mm socket in a set of small such tools, and I proceeded to move the ground lead out of harm's way, to the back corner of the box:
Of course, the whole box is grounded, and so any contact with the battery positive pole will result in regrettable fireworks, but at least there isn't the realistic possibility of wires rubbing themselves into self-immolation.
BTW, last week I went for a putt, and the starter weakly hacked twice and died. Battery was drained, dunno why, either I haven't been riding enough (a few miles once a week), or I haven't been keeping the alternator happy with enough revs while tootling downtown. I have no magic high zoot chip controlled charger, just a 40 year old Schauer car battery charger that never even dreamed of silicon. Putting it to work, it showed a 10 amp draw when initially hooked up, but steadily dropped to well under an amp in a couple of hours. After the charge and a week later, the battery showed 12.74 volts with the ignition key off, 12.14 with it on (headlight on low beam). The engine fired right up, and I put on a few miles about town trying to keep the revs over 3k. Upon shutdown (ignition key off), the VOM registered 12.99 volts. So has my battery safely passed through the valley of the shadow of death? Inquiring minds!