I think it would be nicer if we could find a word that wasn't a command word ("modifications"? "adjustments" ? "customizations"?) but I agree that in this case "override" is better than "tweak".
https://codereview.appspot.com/8575044/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel