Re: after-last-staff-spacing when "last staff" is a non-staff

[Kieren MacMillan]

Hi Joe,

> if you set padding then it will affect the amount of whitespace
> between the last staff of the ChoirStaff and the first staff
> of the PianoStaff (and not the amount of whitespace
> between the Lyrics and the PianoStaff).

That's what it appears to do... which is (IMO) non-intuitive and unfortunate. 
In particular, the presence [or not] of Lyrics -- i.e., depending on whether 
the last system has multi-measure rests, or notes and lyrics -- means that in 
some systems the spacing to the PianoStaff is based on ChoirStaff 
#'after-last-staff-spacing, whereas in some systems (with notes and lyrics) the 
spacing is based on Lyrics #'non-affinity-spacing.

I'll put together a doc patch to add a "known issue".

Thanks,
Kieren.