> \new Staff not \new "Staff" > \override NoteHead.color not \override "NoteHead"."color" > \repeat volta not \repeat "volta" > \change Staff not \change "Staff" > > OK to drop that policy? I can easily make a patch to sed out all > existing occurrences if consistency would be desired.
I vote for dropping the double quotes, inspite of David's concerns.
Werner
