Identical user tags can be added multiple times on the same annotation box

[mrendina]

In an annotation box, users are allowed to add the same tag multiple times. Combined with the fact that you cannot delete tags, this could make things messy.