Sorry, Werner, unfortunately I didn't do that. It really didn't occur to
me that this could be a feature. However, I don't understand why the
default is not "0". Space is rare and you often can't waste it,
especially not in the title.
Thanks
Andreas
PS I had already inserted
Hello,
I don't know if this is a bug, but with the very latest Lilypond
versions (2.25.+) the distance between the top margin and the title text
does not match the value I specified, in this case 5 millimeters. The
distance is always significantly larger. Version 2.19.31, which I still
use