Apologies. I have no idea why, but this afternoon my code appeared to
have no effect on the spacing; this evening it works. Yet I haven't
changed a thing. Clearly something changed, but I have no idea what.
At least my original thought that "this ought to work" was correct!