minimumVerticalExtent default in 1.5

[Graham Percival]

Were there many requests to change the default   \property
Staff.minimumVerticalExtent ?  In 1.4, it looks like the default was
#'(-4 . 4) , but in 1.5 the default changed to #'(-6 . 6) .  Why the
change?  I don't think that it was hard to read music with #'(-4 . 4)
spacing, and bigger spacing uses more paper.

A few of my pieces were tweaked to fit onto one page (instead of having
one full page plus one line on a second page), so I'm not wild about
this change.  It's not a big deal to add Staff.minimumVerticalExtent to
all those pieces; I'm just wondering what other people think of the
change.

- Graham Percival