Leger line widths for grace notes

Hi Daniel,

What is the spec's intent for the interpretation of legerLineExtension
("The amount by which a leger line whould extend either side of a
notehead") for grace or cue notes? Is it expected that this value would be
proportionally adjusted to reflect any scale factor applied to the note
heads? I didn't find any explicit language to that effect.

Using the same leger line extension value on grace notes as for normal size
notes, at least in some fonts, results in a somewhat weird looking
appearance with an oversize leger line.

.            .       .    .  . ...Joe