Re: top-margin bug?

[Werner]

Patrick McCarty <pnorcks <at> gmail.com> writes:
> Since those measurements are in staff-spaces, the conversion to
> millimeters is as follows:
> 
>   4.84 * 5 * 25.4 / 72.27 = 8.5mm = 0.85cm

I set 
#(set-global-staff-size 16.5)
in my example.
That's why i got :0.69 (or *1.4493=16.5/4*25.4/72.27) 
                                   ^^^^
instead of *1.7573=20/4*25.4/72.27) (with 20/4=5)
                   ^^

We have in NR:

head-separation
Distance between the top-most music system and the page header. Default: 4\mm.

Isn't it true to write:
Distance between the title (if exists) or the top-most music system (if there is
no title) and the page header. Default: 4\mm.
??

greetings

Werner