-\version "1.9.8"
-\header{
-texidoc="
-Noteheads can have dots, and rests can too. Augmentation dots should
-never be printed on a staff line, but rather be shifted vertically. They
-should go up, but in case of multiple parts, the down stems have down
-shifted dots. (Wanske p. 186) In case of chords, all dots should be in
-a column. The dots go along as rests are shifted to avoid collisions.
+\version "2.16.0" \header{
+
+
+ texidoc=" Both noteheads and rests can have dots.
+ Augmentation dots should never be printed on a staff line,
+but rather be shifted vertically. They should go up, but in case of
+multiple parts, the down stems have down shifted dots. In case of
+chords, all dots should be in a column. The dots follow the shift
+of rests when avoiding collisions.
+
+The priorities to print the dots are (ranked in importance):
+
+@itemize @bullet
+@item keeping dots off staff lines,
+@item keeping dots close to their note heads,
+@item moving dots in the direction specified by the voice,
+@item moving dots up.
+@end itemize
+