Merging duplicate tickets

When somebody raises the same problem twice, merge the duplicate into the original from the ticket screen. Merged tickets drop out of the inbox unless you filter for them specifically, so the list stays honest.

The merge is recorded rather than destructive — nothing is thrown away.