\header {
texidoc = "Note heads in collisions should be merged if
they have the same positions in the extreme note heads.
"
}
\header {
texidoc = "Note heads in collisions should be merged if
they have the same positions in the extreme note heads.
"
}