// It would make Hara_kiri_group_spanner::request_suicide a _little_
// faster if we removed each grob from its own array. It seems
// It would make Hara_kiri_group_spanner::request_suicide a _little_
// faster if we removed each grob from its own array. It seems