⌂ Preventing double augmentation dots with identical notes in chords

Sometimes, a dotted chord may contain the same note twice, in which case two augmentation dots will be printed (accordingly to recommended engraving practice). Here is how to prevent this behavior from appearing, in cases where it would be unwanted.