Bob Polis
3681d9e67f
Adding an existing tag would actually add an extra instance. Now, we use a set internally to deduplicate tags. As a side effect, tags are always sorted, so the option to write tags back sorted has been removed.