main: document mark for duplicate entry

Duplicate reporting marks (") were introduced in f96f1ee, but not
documented.