What is the general procedure for deleting or merging tags that are duplicates/synonyms of other tags?
As I understand, unused tags will get deleted automatically after a period of time.
Where tags should be merged, is there a process where the less established tags get migrated over to the more established tag?