Hi David, A long time UNIX user myself (pre 1970’s…), I follow what you are saying, but you may want to explain to ordinary folks what clearing the caches does and the command 'echo 3 > /proc/sys/vm/drop_caches ‘, especially since the OP is on Windows and does not have such nice things available.
OP - on the matter of downgrading, in my personal experience I have seen no speed difference between the versions you mention. Andrew
_______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
